| http://www.w3.org/ns/prov#value | - If the above map f was an onto map, then there must be an element x from S with f(x) = X. Where is that element x ?: Suppose x is contained in X: Since X contains those elements that are not in its associated set, we have that x is not contained in f(x) = X. Suppose x is not contained in X: Since X contains exactly those elements that are not in its associated set, and x is assumed to be not in X
|
