| http://www.w3.org/ns/prov#value | - Does the opposite statement make sense ? i.e. if we can arrange the elements of a set as the elements of a sequence of distinct elements (for example, if that set is an infinite subset of a countably infinite set, say $X$, then using the above argument for $X$) then that set is countably infinite.
|