摘要

Let be an equivalence on X and let denote the semigroup (under composition) of all , such that . In this paper, we endow the semigroup with a well-known natural partial order and provide a characterization for and prove necessary and sufficient conditions for to be both left and right compatible with the multiplication. We also describe the minimal and the maximal elements of with respect to this order.

全文