ting代数(因此任何布尔代数)通过选取 · 为 ∧ 和 "a"* = 1 就得到了一个作用代数。这对于星号是必要和充分的，因为 Heyting 代数的顶元素 1 是它的唯一自反元素，并且是传递的，还大于等于这个代数的所有元素。在字母表 Σ 上所有形式语言(有限字符串的集合)的集合 2 形成了一个作用代数，带有 0 为空集，1 = {ε}，∨ 为并集，· 为串接，"L"←"M" 为所有字符串 "x" 使得 "xM" ⊆ "L" 的集合(对偶于 "M"→"L")，而 "L"* 是在 "L" 中字符串形成的