invertibility

دیسه‌ای
∀𝑥 ∃𝑦 𝑥+𝑦=0
∀x ∃y x+y=0