- "... ist Teilmenge von ...":
- "... ist echte Teilmenge von ...":
- "... und ... sind disjunkt":
- "... und ... sind identisch":