وارون پذیری

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


تاربرگ‌های پیموده‌شده در این نشست: کامندگی بنداشت جداسازی بازبرد کلارنس ایروینگ لوییس هستیال‌گروی Modal System B