Set theory
Definition nach der Mengenlehre.