Page "Ordered field" Paragraph 41
from
Wikipedia
Conversely, every formally real field can be equipped with a compatible total order, that will turn it into an ordered field.
( This order is often not uniquely determined.
Page 1 of 1.
1.805 seconds.