Группоїд - це
групоид - а, м. groupe m. Нагадує, схожий на групу. Ознаки групи та групоїда. ВФ 1993 5 59 … Історичний словник галицизмів української мови
ГРУППОІД - універсальна алгебра з однією бінарною операцією. Г. найширший клас таких алгебр; групи, напівгрупи, квазігрупи – все це Г. спеціального виду. Важливим поняттям для Р. є поняття ізотопів та операцій. Нехай на безлічі G визначено дві… … Математична енциклопедія
УПОРОДЖЕНИЙ ГРУППОІД — групоїд Н, безліч елементів якого частково впорядковано ставленням і, крім того, операція і порядок пов'язані аксіомою Якщо У . р. Н підпорядковується сильнішою аксіомі то порядок H наз. суворим, а Н суворим частково впорядкованим групоїдом.
Природно упорядкований ГРУППОІД — частково впорядкований групоїд Н, в тому числі всі елементи позитивні (тобто і для будь-яких а, і більший з двох елементів завжди ділиться (і справа і зліва) на менший, тобто .з а Математична енциклопедія
ВІЛЬНИЙ ГРУПОІД — вільна алгебра різноманіття всіх групоїдів. С. р. з безліччю Xвільних утворюючих збігається з групоїдом слів, якщо під словом розуміти будь-яку впорядковану систему елементів з Xз будь-якими повтореннями, причому в цій системі задано… …
Алгебраїчна система — (або алгебраїчна структура) в універсальній алгебрі безліч (носій) із заданим на ньому набором операцій та відносин (сигнатура), що задовольняє деяку систему аксіом. Алгебраїчна система з порожнім безліччю стосунків… … Вікіпедія
Магма (алгебра) — Цей термін має й інші значення, див. Магма (значення). Магма (группоїд) в абстрактній алгебрі базовий тип структури алгебри.Магма складається з безлічі М з однією бінарною операцією M × M → M. Окрім вимоги… Вікіпедія
АЛГЕБРАЇЧНА СИСТЕМА - безліч з певними на ньому операціями та відносинами. А. с. належать до основних математич. структур і мають глибоко розроблену загальну теорію, що сформувалася на початку 50-х років. 20 ст. на межі між алгеброю та математич. логікою.… … Математична енциклопедія