Quasi-Antiorder Relational System
Mladen Stojanovic, Daniel A. Romano · 2008
This paper is within the Bishop’s constructive mathematics. A quasi-antiorder relational system means a pair (A, R) where (A,=, � is a set with apartness and R is a consistent and cotransitive binary relation on A. We define and study a quotient system mapping ϕ such that the factor relation R/Cokerϕ on the factor set A/Cokerϕ is also a quasi-antiorder relational system. Mathematics Subject Classification: Primary: 03F65, Secondary: 06A06, 06A99, 08A02