ハイティング代数
An element "x" of a Heyting algebra "H" is called regular if either of the following equivalent conditions hold: