Definition:Ordinary Set

From ProofWiki
Jump to navigation Jump to search


Let $S$ be a set.

Then $S$ is an ordinary set if and only if:

$S \notin S$

That is, if and only if $S$ is not an element of itself.

Also known as

Some sources refer to such a set as a normal set.

Also see

  • Results about ordinary sets can be found here.