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).

Try this search on Wikipedia, OneLook, Google

Nearby terms:

FOSIL « FOSS « fossil « foundation » FOundation for Research and Technology - Hellas » four-colour glossies » four colour map theorem