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

FOundation for Research and Technology - Hellas


(FORTH) A small Greek software and research company associated with the Institute of Computer Science,

Address: Science and Technology Park of Crete, Vassilika Vouton, P.O.Box 1385 GR 711 10 Heraklion, Crete, Greece.

Telephone: +30 (81) 39 16 00, Fax: +30 (81) 39 16 01.

Last updated: 1997-04-12

Nearby terms:

fossilfoundationFOundation for Research and Technology - Hellas

Try this search on Wikipedia, OneLook, Google