## Set theory recap