групоїд

групо́їд

-а, ч., мат.

Непорожня множина, в якій визначена одна бінарна операція.