idempotent
دیسه‌ای
𝑥 ⋆ 𝑥 = 𝑥
x ⋆ x = x


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Extensionality ⟩ identity element ⟩ axiomatization ⟩ perception