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).FOundation for Research and Technology - Hellas
<company>
(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:
fossil ♦ foundation ♦ FOundation for Research and Technology - Hellas
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
