| http://www.w3.org/ns/prov#value | - If N<M then everything in B is <N which is <M, and everything in A is <M, so everything in (A union B) is <M, so M is an ub (thats all just saying the highest of the two lines is above both clouds); and if there were a smaller one, say K, then K would have to be a ub of (A union B) and hence an ub of A: but it can not be, because M was a lub of A (remember?
|
