Let be a set. Let be a non-empty collection of subsets of such that is closed under finite intersections. Assume that there exists a sequence such that . Let be the smallest collection of susbsets of containing such that the following are true:

If and then

If , , then

If then

Does ?

Advertisements