×

A left compatible coequality relation on a semigroup with apartness. (English) Zbl 1006.03037

The author presents a characterization of the left coequality relation \(q\) on a semigroup with apartness and a construction of a quasi-antiorder \(c\) such that \(q=c\cup c^{-1}\), followed by the corresponding descriptions of classes of relations \(c\) and \(q\).

MSC:

03F65 Other constructive mathematics
20M99 Semigroups
PDFBibTeX XMLCite
Full Text: EuDML