A u b = ∅ <--> a=b=∅

Printable View