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

null set (NullSet)

The Set that contains no instances.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

set
is instance of
  null set  

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 is an element of null set.
(not
      (exists
            (?ELEMENT)
            (element ?ELEMENT NullSet)))