ON RETRACT EXTENSION OF ORDERED SET–A CONSTRUCTIVE POINT OF VIEW1
Abstract
In this paper a concept of the retract extensions of ordered sets with apartness is given by Bishop’s constructive mathematics point of view.
Keywords
Constructive mathematics, order and anti-order relation, ideal and anti-ideal of ordered set, order isotone and order reverse isotone function, anti-order isotone and anti-order reverse isotone function.
Full Text:
PDF![Creative Commons License](https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png)
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
© 2010-2024 International Journal of Mathematical Archive (IJMA) Copyright Agreement & Authorship Responsibility |