right invariant

定义4. 在 带子的集合 T 上的一个等价关系 R 有右不变性（right invariant），如果无论何时 xRy ，则对在 T 中所有的z ，有 xzR…

引理5.2 关系IL 对连接运算是右确定的（right invariant）。即对于任意的字符串x、y 和字 符a，如果xI L y，则xaI L ya。