| http://www.w3.org/ns/prov#value | - The latter may be less well-known, but is fairly simple: given two disjoint closed sets then there is a continuous real-valued function such that the first closed set is the preimage of {0} and the second closed set is the preimage of {1}.
|
