Set theory/Empty set/Definition