Definition:New Element

From ProofWiki
Jump to navigation Jump to search

Definition

Let $S$ be a set.


A new element for $S$ is a set that is not an element of $S$.

By Set does not Contain Itself, it may be defined as $S$ itself.


Also see