∀(x, y ∈ A ∪ B; x ≠ y) x² – y² ≥ 0