Preframe
= Preframe
A preframe is a <partially ordered set> with finite meets and nonempty directed joins, with finite meets distributing over directed joins. Its homomorphisms preserve these operations. Forgetting the arbitrary joins of a <frame> leaves a preframe.