Category:Principle E

This category contains pages concerning Principle E:

Let $S$ be a set of sets.

Let $S$ be closed under chain unions.

Then every element $b$ of $S$ is a subset of some element of $S$ that has no immediate extension in $S$.