Abstract

Let (X, ≤) be a totally ordered finite set, [Formula: see text] be the full transformation semigroup on X and E be an arbitrary equivalence on X. We consider a subsemigroup of [Formula: see text] defined by [Formula: see text] and call it the E-order-preserving transformation semigroup on X. In this paper, we endow EOPX with the so-called natural order ≤ and discuss when two elements in EOPX are related under this order, then determine those elements of EOPX which are compatible with ≤. Also, the maximal (minimal) elements are described.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call