Definition:Russell Class

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


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