foundation
The axiom of found ATion st ATes th AT the membership rel ATion is well founded, i.e. th AT 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). 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 - (1981 Reads) |