Correspondence theory برابر انگلیک (انگلیسی): invertibility invertible, inverse دیسهای ∀𝑥 ∃𝑦 𝑥+𝑦=0∀x ∃y x+y=0