Set theory
Satz von Hartogs (Mengenlehre)