| http://www.w3.org/ns/prov#value | - By the way: Compactness is something else; being able to find a real between any two reals is denseness (${\mathbb R}$ is dense in itself, sometimes one says); note that ${\mathbb Q}$ also has this property, and in fact there is a rational between any two reals, which may help with part (ii).
|
