| http://www.w3.org/ns/prov#value | - Let be a -complete partial metric space, let , be nonempty closed subsets of , , and such that(NZ1) is a cyclic representation of with respect to ;(NZ4) for any (with ), where is a positive integer and is a lower semi-continuous mapping such that if and only if .
|
