つまりROT13を関数とみると、自分自身の逆関数となっている:ROT13(ROT13(x))=ROT26(x)=x{\displaystyle{\mbox{ROT}}_{13}({\mbox{ROT}}_{13}(x))={\mbox{ROT}}_{26}(x)=x},foranytextx.数学では変換のこの種の性質を対合と呼ぶことがある。
因为只有在英文字母表里头只有26个，并且26=2×13，ROT13函数是它自己的逆反：对任何字元x：ROT13(ROT13(x))=ROT26(x)=x{\displaystyle{\mbox{ROT}}_{13}({\mbox{ROT}}_{13}(x))={\mbox{ROT}}_{26}(x)=x}。