Requiring that a poset has *all* joins is a pretty strong condition. I'm wondering if there are circumstances where we could get away with something weaker, eg all finite joins is OK providing that the partial order on \\(A\\) satisfies such-and-such a condition, or that the function \\(f\\) is "nice" in some to-be-specified way.