question: Kan en tom mængde blive et element i en mængde?
context: Empty set
  I standard aksiomatisk mængdelære er to mængder i henhold til udvidelsesprincippet lige store, hvis de har de samme elementer; derfor kan der kun være én mængde uden elementer. Der findes derfor kun én tom mængde, og vi taler om "den tomme mængde" i stedet for "en tom mængde".
context_en: Empty set
  In standard axiomatic set theory, by the principle of extensionality, two sets are equal if they have the same elements; therefore there can be only one set with no elements. Hence there is but one empty set, and we speak of "the empty set" rather than "an empty set".
title_en: Empty set