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