
COMMENTS

Or, number of families of subsets of {1, ..., n} that are closed under intersection and contain both the universe and the empty set.
An ACI algebra or semilattice is a system with a single binary, idempotent, commutative and associative operation.


REFERENCES

G. Birkhoff, Lattice Theory. American Mathematical Society, Colloquium Publications, Vol. 25, 3rd ed., Providence, RI, 1967.
Maria Paola Bonacina and Nachum Dershowitz, Canonical Inference for Implicational Systems, in Automated Reasoning, Lecture Notes in Computer Science, Volume 5195/2008, SpringerVerlag.
P. Colomb, A. Irlande and O. Raynaud, Counting of Moore Families for n=7, International Conference on Formal Concept Analysis (2010)
M. Habib and L. Nourine, The number of Moore families on n = 6, Discrete Math., 294 (2005), 291296.
E. H. Moore, Introduction to a Form of General Analysis, AMS Colloquium Publication 2 (1910), pp. 5380.
