real closed ring

mathematical Rong