All joins implies all meets

Let \((P,\leq)\) be a preorder. It has all joins iff it has all meets.

Proof(1)

Linked by