集合論
Set theory definition.