identity element
دیسه‌ای
𝑒 ◦ 𝑎 = 𝑎 ◦ 𝑒 = 𝑎
e ◦ a = a ◦ e = a


تاربرگ‌های پیموده‌شده در این نشست: Axiom of Extensionality