| http://www.w3.org/ns/prov#value | - If P is a set and x is an element of P, we write x 2 P. A set is usually described in one of the two following ways: _ By enumeration, e.g. f1; 2; 3g denotes the set consisting of the numbers 1; 2; 3 and nothing else; _ By a de_ning property (sentential function) p(x).
|