ordered field

noun

1. Mathematics. a field containing a subset of elements closed under addition and multiplication and having the property that every element in the field is either zero, in the subset, or has its additive inverse in the subset.