两个平移相交,当且仅当平移量之差等于 A 中两个元素之差。
若 t−ti=a−bt-t_i=a-bt−ti=a−b 与 a,b∈Aa,b\in Aa,b∈A 相交,则存在 ti+b−at_i+b-ati+b−a 使 undefined,即 undefined。因此每个已选平移量只禁止 undefined 这种形式的值。