外延公理

空集（英文：empty set），又叫空集合，喺集合论里面，无元素（成员）嘅集。空集用符号∅来表示，有时为咗方便打起见，亦写做{}，即系集符号里面无元素。 空集只有一个：假设有两空集 A 同 B，咁 A 包含 B 而且 B 包含 A，由外延公理（如果两个集嘅元素一样，咁佢哋系同一个集）得出结论 A=B；所以空集系唯一嘅