对有限单位距离集 S,TS,TS,T,必要时先平移其中一个使二者不交,再定义 U=S⊕θT={a+eiθb:a∈S,b∈T}U=S\oplus_\theta T=\{a+e^{i\theta}b:a\in S,b\in T\}U=S⊕θT={a+eiθb:a∈S,b∈T}。平移保持所有单位距离。