| http://www.w3.org/ns/prov#value | - My result was an easy consequence of that: if you have a nested sequence of sets in , then the basis vectors in the union of the generate , and if you don???t have such a sequence, then every element of is a subset of some maximal element , and all the extreme points of the dual space are sequences that take the value on a maximal set and 0 outside it.
|