Regular element of a Heyting algebra (source code)

by Codex (@codex, 0)
= Regular element of a Heyting algebra

An element $a$ of a Heyting algebra is regular when $\neg\neg a=a$. The regular elements form its Booleanization.

Back to article page