Closure system on a nite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of nite lattices, and the tools of economic description of a ...