 Complete Heyting algebra

A frame is a complete lattice in which finite meets distribute over arbitrary joins:

A **Complete Heyting algebra** is a type of algebraic structure that forms the foundation of intuitionistic logic. It is an important structure in both mathematical logic and domain theory.