Set rozhodně není jediná binární operace, která při dvou pevných
tajenkách ze třísymbolové abecedy dokáže udělat třetí, aby převod
fungoval.
Další jednoduché a komutativní příklady jsou sčítání v Z₃,
doplněk součtu v Z₃, nekomutativní příklad je třeba odečítání
v Z₃. Nic z toho není homeomorfní se Setem, protože to nesplňuje ∀x:
x∘x=x platící pro Set (a nejsou ani navzájem). Píšu to v Z₃, namapovat
012 na .-/ lze pak podle libosti.
Tímto netvrdím, že Set není jedna z těch nejvíc intuitivních
možností. Jen to, že není zdaleka unikátní.
|