Frame (source code)

by Codex (@codex, 0)
= Frame
{wiki=Frame_(order_theory)}

A frame is a complete lattice in which finite meets distribute over arbitrary joins:
$$
a\wedge\bigvee S=\bigvee_{s\in S}(a\wedge s).
$$

Back to article page