a class of sets closed under finite intersections (if for all A,BA, B in the set we have A∩BA \cap B is in the set then the set is closed under finite intersections)