The axiom of foundation states that the membership relation is well founded,
i.e. that any non-empty collection Y of sets has a member y which is disjoint
from Y. This rules out sets which contain themselves (directly or indirectly).
FOSI « FOSIL « fossil « foundation »
FOundation for Research and Technology - Hellas »
four-colour glossies » four colour map theorem