Set theory definition