On quasi-antiorder in semigroups

摘要

Partially ordered semigroups with apartness under an antiorder are investigated from the point of view of Bishop's constructive mathematics. We analyze quasi-antiorder relations on ordered semigroups under an antiorder. The connection between two quasi-antiorders on a semigroup is presented.