Для будь-якої множини A, порожня множина є підмножиною A: ∀A: {} ⊆ A Для будь-якої множини A, об'єднання множин A та порожньої множини є A: ∀A: A ∪ {} = A Для будь-якої множини A, перетин множин A та порожньої множини є порожня множина: ∀A: A ∩ {} = {} Для будь-якої множини A, Декартів добуток A та порожньої множини є порожня множина: ∀A: A × {} = {}