| http://www.w3.org/ns/prov#value | - Even in class theories where "set is a derived concept defined so that a set is identified as an element of a class, the notion of complement is illegitimately connected with the negation operation where it is supposed that one can take the complement of a set in a class (usually the class of all sets U), and in this way get a class.
|
