СВОБОДНЫЙ ГРУППОИД

- свободная алгебра многообразия всех группоидов. С. г. с множеством Xсвободных образующих совпадает с группоидом слов, если под словом понимать любую упорядоченную систему элементов из Xс любыми повторениями, причем в этой системе задано распределение скобок (каждый символ считается взятым в скобки, а затем скобки расставлены так, что каждый раз перемножаются лишь две скобки). Произведением слов (a) и (b)считается слово ((а) (b)). О. А. Иванова.