Element of Swelled Set with no Immediate Extension is Maximal

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$ the subset relation.