Stav dette: Basic set theory.