teilmenge (subset)

(subset set1 set2) is true just in case the elements of the Set set1 are also elements of the Set set2.

Ontology

SUMO / SET/CLASS-THEORY

Superrelation(s)

teilkategorie

teilmenge

Type restrictions

subset(Menge, Menge)

Related WordNet synsets

subset: a set whose members are members of another set; a set contained within another set

See more related synsets on a separate page.

Axioms (1)

wenn subset ist eine teilmenge von set ,
dann für jeden element gilt: wenn element ist ein element von subset , dann element ist ein element von set

(=>
      (subset ?SUBSET ?SET)
      (forall
            (?ELEMENT)
            (=>
                  (element ?ELEMENT ?SUBSET)
                  (element ?ELEMENT ?SET))))