Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Definice (komutativního) grupoidu<br />
Strukturu [ M; O ] budeme nazývat<br />
(komutativním) grupoidem právě tehdy, když<br />
binární operace O je (komutativní a) úplná v M.<br />
Příklady:<br />
• [ N 0 ; + ] a [ N 0 ; . ] jsou komutativní grupoidy,<br />
• [ N 0 ; - ] není grupoid<br />
• [ Z; - ] je nekomutativní grupoid,<br />
• [ Pot(A) ; ∪ ] je komutativní grupoid,<br />
atd.