tuntud hulgateoreetilised tehted (täiend, ühend ja ühisosa). Vastavalt tehetes osalevate operandide arvule määratakse signatuuri tüüp, mis on antud näites määratud vektoriga (1,2,2). Põhimõisted · Grupoid - lihtsaim algebra < M, · >, kus · on 2-kohaline operatsioon. · Parempoolne ühikelement e : mM (m · e = m). · Vasakpoolne ühikelement e : mM (e · m = m). · Ühikelement e : mM (m · e=e · m = m). Igas grupoidis pole rohkem kui üks ühikelement. · Grupoid on idempotentne, kui mM (m · m = m). · Grupoid on kommutatiivne, kui m1 , m2 M (m1 · m2 = m2 · m1 ). · Grupoid on assotsiatiivne (nimetatakse poolrühmaks), kui kehtib assotsiatiivsusseadus. · Monoid on poolrühm, kus on olemas ühikelement. · Rühm on monoid, kus igal elemendil on olemas pöördelement [mM m-1M ( m · m-1 = m-1 · m = e ) ]. 7
tuntud hulgateoreetilised tehted (täiend, ühend ja ühisosa). Vastavalt tehetes osalevate operandide arvule määratakse signatuuri tüüp, mis on antud näites määratud vektoriga (1,2,2). Põhimõisted Grupoid - lihtsaim algebra < M, >, kus on 2-kohaline operatsioon. Parempoolne ühikelement e : mM (m e = m). Vasakpoolne ühikelement e : mM (e m = m). Ühikelement e : mM (m e=e m = m). Igas grupoidis pole rohkem kui üks ühikelement. Grupoid on idempotentne, kui mM (m m = m). Grupoid on kommutatiivne, kui m1 , m2 M (m1 m2 = m2 m1 ). Grupoid on assotsiatiivne (nimetatakse poolrühmaks), kui kehtib assotsiatiivsusseadus. Monoid on poolrühm, kus on olemas ühikelement. Rühm on monoid, kus igal elemendil on olemas pöördelement [mM m-1M ( m m-1 = m-1 m = e ) ].
annaabi.ee 
