可取消的:明显的，右取消和投影可交换:
前缀.字符串的前缀是关于给定语言一个字符串的所有前缀的集合:语言的前缀闭包是 一个语言叫做前缀闭合的，如果 formula_42。明显的，前缀闭包算子是幂等的:前缀关系是二元关系formula_44，有着 formula_45 当且仅当 formula_46。 前缀文法生成(关于这个文法)前缀闭合的语言。