You are here: irt.org | FOLDOC | 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 indirectly).
Nearby terms: FOSIL « FOSS « fossil « foundation » FOundation for Research and Technology - Hellas » four-colour glossies » four colour map theorem
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL