> Je snadné nahlédnout, že z algebraického pohledu unifikátory dvou termů tvoří polosvaz a tedy komutativní idempotentní pologrupu.
Jak budou unifikátory uspořádány? Logické by bylo vzít uspořádání podle obecnosti, jenže to není částečné uspořádání, ale pouze předuspořádání. Pochopil bych polosvaz nad třídami ekvivalence unifikátorů.
