bn:03496039n
Noun Concept
NL
compleet heyting algebra
EN
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Wikipedia
Relations
Sources