subset (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)

subclass

subset

Type restrictions

subset(Insieme, Insieme)

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)

se subset é un sottoinsieme di set,
allora per ogni element vale: se ?é un elemento di subset, allora ?é un elemento di set

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