http://www.w3.org/ns/prov#value | - Your examples are morphisms of both because they are poset isomorphisms [see below], and (exercise!) poset isomorphisms f: X ???> Y preserve any infs and sups which happen to exist in X. However, the examples of X you cooked up will serve!
|