zi3 ji2 (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)

ci4 zhong3 lei4

zi3 ji2

Type restrictions

subset(ji2 he2, ji2 he2)

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)

if subset shi4 set de5 zi3 ji2,
then for all element holds: if element shi4 subset de5 yuan2 su4, then element shi4 set de5 yuan2 su4

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