We present a survey of properties of the lattice of closure systems (families of subsets of a set S containing S and closed by set intersection) on a finite set S with proofs of the more significant results. In particular, we prove that this lattice is atomistic and lower bounded and that there exists a canonical basis allowing to represent any closure system by "implicational" closure systems. The notion of closure system has many cryptomorphic versions, especially the notions of closure operator and of (full) implicational system, occuring in many fields of pure or applied mathematics and of computer science.
Download Info
To our knowledge, this item is not available for
download. To find whether it is available, there are three
options:
1. Check below under "Related research" whether another version of this item is available online.
2. Check on the provider's web page
whether it is in fact available.
3. Perform a search for a similarly titled item that would be
available.
Cited by: (explanations, Please report citation or reference errors to , or , if you are the registered author of the cited work, log in to your RePEc Author Service profile, click on "citations" and make appropriate adjustments.)