SMS: Set theory