commutative
دیسه‌ای
𝑥⋆𝑦 = 𝑦⋆𝑥
x⋆y = y⋆x


تاربرگ‌های پیموده‌شده در این نشست: Raymond Smullyan ⟩ Jakarta Enterprise ⟩ sequent ⟩ tableau ⟩ lattice ⟩ commutativity