Email this page to a friend

Foundation

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

< Previous Terms	Terms Containing foundation	Next Terms >
FORWISS For Your Information FOSI FOSIL fossil	Abstract Window Toolkit Alan Turing Architecture Neutral Distribution Format axiomatic set theory Black Data Processing Associates	FOundation for Research and Technology - Hellas four-colour glossies four colour map theorem four colour theorem Fourier transform