группоиды.

В работе находятся базисы тождеств многообразий, порожденных классами группоидов бинарных отношений c диофантовыми операциями.