Portuguese

Noun

corpo ordenado m (plural corpos ordenados)

1. (algebra) ordered field (field satisfying the properties of trichotomy, transitivity and preservation of an inequality when the same element is added to both sides)