Nichtmenge

In der formalen Ontologie ist eine Nichtmenge ein Objekt, was keine Menge ist. Jede Nichtmenge ist ein Urelement.

Beispiele

• physikalische Gegenstände (z.B.: Tasse)
• Wasser, Gase
• Prozesse (z.B.: 100m-Lauf, Verlauf einer Krankheit)
• Symbole

Eigenschaften

$\forall \left(T\in Nichtmengen\right):\neg \exists \left(x\right):\left(x\in T\right)$	Eine Nichtmenge hat keine Elemente.
$\emptyset \notin Nichtmengen$	Die leere Menge ist keine Nichtmenge.