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