Икенсе төрлө әйткәндә, ∀ a   ( ∅ × a = ∅   ∧   a × ∅ = ∅ ) {\displaystyle \forall a\ (\varnothing \times a=\varnothing \ \land \ a\times \varnothing =\varnothing )} һәм, айырым осраҡта, ∅ × ∅ = ∅ {\displaystyle \varnothing \times \varnothing =\varnothing } .