Názor ke článku Unifikace, AC-unifikace, E-unifikace... od Radek Miček - > Je snadné nahlédnout, že z algebraického pohledu...

> 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ů.