Set theory
Mengenlehre: Komplementbildung.