Real closed ring
In mathematics, a real closed ring (RCR) is a commutative ring A that is a subring of a product of real closed fields, which is closed under continuous semi-algebraic functions defined over the integers. == Examples of real closed rings == Since the rigorous definition of a real closed ring is of technical nature it is convenient to see a list of prominent examples first.