ハイティング代数
Any Heyting algebra (and hence any Boolean algebra) is made an action algebra by taking • to be ∧ and "a"* = 1. This is necessary and sufficient for star because the top element 1 of a Heyting algebra is its only reflexive element, and is transitive as well as greater or equal to every element of the algebra.