在 Conway 的模型中，"a" 是自反和传递的，因此它的自反传递闭包应该是 "a"。但是正则表达式不确保如此，它允许 "a"* 严格大于 "a"。这种反常行为在作用代数中是不可能的。
例子.任何Heyting代数(因此任何布尔代数)通过选取 · 为 ∧ 和 "a"* = 1 就得到了一个作用代数。这对于星号是必要和充分的，因为 Heyting 代数的顶元素 1 是它的唯一自反元素，并且是传递的，还大于等于这个代数的所有元素。在字母表 Σ 上所有形式语言(有限字符串的集合)的