Let k be an ordered field.
设k是一个有序的领域。