A non-empty class of subsets of Ω \Omega that is closed under finite union, finite intersection, and complements.