Moore family

Summary

A Moore family on a set $X$ is a collection of subsets of $X$ that contains $X$ and is closed under intersections of nonempty subfamilies. Such a collection is also called a closure system. Moore families on $X$ are exactly the families of closed sets of closure operators on the subsets of $X$. Ordered by inclusion, a Moore family is a complete lattice.