Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property

Michael Winter

In this paper we continue the investigation of a real number object, i.e., an object representing the real numbers, in categories of relations. Our axiomatization is based on a rel…