Төркөм (математика): өлгөләр араһындағы айырма

* [[Магма (алгебра)|Группоид]] — күмәклек унда бирелгән [[Бинар операция|бинар операция]] менән<ref>{{книга|автор =Белоусов В. Д. |заглавие =Основы теории квазигрупп и луп|издательство = Наука|год = 1967|страницы = 5|страниц = 223|тираж = 2800}}</ref>.

* [[Квазитөркөм (математика)|Квазитөркөм]] — ниндәйҙер <math>Q</math> күмәклегенән һәм, теләһә ниндәй <math>a,b \in Q</math> өсөн, <math>a \cdot x =b</math> һәм <math>y \cdot a = b</math> тигеҙлеге үтәлгән, берҙән бер <math>x</math> һәм <math>y</math> элементтары булған шундай <math>\cdot</math> бинар операцияһынан торған [[Группоид (алгебра)|группоид]] ул<ref>{{книга|автор =Белоусов В. Д. |заглавие =Основы теории квазигрупп и луп|издательство = Наука|год = 1967|страницы = 6|страниц = 223|тираж = 2800}}</ref>.

* <math>G</math> күмәклеге унда бирелгән, тәүге ике аксиоманы ғына ҡәнәғәтләндергән <math>\cdot</math> [[бинар операция]]һы менән, [[моноид]] тип атала. Натураль һандар күмәклеге нуль менән натураль һандарҙың аддитив моноидын төҙөй<ref name=autogenerated4 />.