CompleteField<S>
Field<S>
OrderedField<S>
OrderedRing<S>
RealField<S>
R
Z
S
add(S a, S b)
multiply(S a, S b)
opposite(S a)
subtract(S a, S b)
unit()
zero()