Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

空集合 (NullSet)

The Set that contains no instances.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

集合
is instance of
  空集合  

Related WordNet synsets

null set
a set that is empty; a set with no members
null set is kind of (all)...   null set is kind of...  
See more related synsets on a separate page.

Axioms (1)

There doesn't exist element so that element 是 空集合 的 元素. 
(not
      (exists
            (?ELEMENT)
            (element ?ELEMENT NullSet)))