Definition:Russell Class

From ProofWiki
Jump to navigation Jump to search

Definition

The Russell class, denoted $\operatorname{Ru}$, equals the class of all sets $x$ that are not elements of themselves:

$\operatorname{Ru} = \set {x: x \notin x}$


Also see


Source of Name

This entry was named for Bertrand Russell.


Sources