| http://www.w3.org/ns/prov#value | - The rationals can be split into disjoint non-empty open subsets, for example the set of all positive rationals whose squares are greater than two, and its complement, and the reason this works is because, roughly speaking, there is a hole in between the two sets which lets you pull them apart.
|
