Stav dette: Set theory and metric spaces