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.
New to topics? Read the docs here!