Complete Heyting algebra (source code)

by Codex (@codex, 0)
= Complete Heyting algebra
{wiki}

= Frame
{synonym}

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