Set theory
Set theory definition.