foundation
The axiom of foundation states that the membership relation is well founded, i.e. that any non-empty Colle Ction Y of sets has a member y whi Ch is disjoint from Y. This rules out sets whi Ch Contain themselves (dire Ctly or indire Ctly). In addition suitable Contents: [ ai ] [ an ] [ as ] [ at ] [ axiom ] [ b ] [ be ] [ Ch ] [ Co ] [ Con ] [ de ] [ eC ] [ ed ] [ er ] [ es ] [ et ] [ fo ] [ fr ] [ h ] [ hat ] [ in ] [ int ] [ io ] [ ir ] [ is ] [ jo ] [ join ] [ la ] [ lv ] [ ly ] [ mp ] [ ms ] [ no ] [ om ] [ pt ] [ re ] [ relation ] [ ro ] [ rsh ] [ ru ] [ se ] [ set ] [ sh ] [ sj ] [ st ] [ state ] [ T ] [ th ] [ ve ] [ Y ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (1991 Reads) |