Positive cone of an ordered field