| http://www.w3.org/ns/prov#value | - Preliminaries, Background, and NotationsA complete ordered field is a system consisting of a set , four binary operations , , , for , and an ordering relation for , all of which behave with respect to the set exactly as +, ???, , , behave with respect to the set of real numbers.
|