 ist ein Element von |
 enthält als Element |
 ist kein Element von |
 ist Untermenge von oder gleich |
 enthält als Untermenge oder ist |
 ist definiert durch |
 es existiert ein |
 es existiert genau ein |
 für alle |
 Vereinigungsmenge |
 Durchschnittsmenge |
 Nullmenge |
 daraus folgt, ist hinreichende Bedingung für |
 gilt wenn, ist notwendige Bedingung für |
 gilt genau dann wenn, ist notwendige und hinreichende Bedingung für |