Element of Swelled Set with no Immediate Extension is Maximal

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $S$ be a swelled set of sets.

Let $x \in S$ have no immediate extension.

Then $x$ is a maximal element of $S$ with respect to the subset relation.


Proof




Sources