Japanese
"Congruent"
数学の「合同」は，日常生活での「ぴったり重なる」の定式化です。
ぴったり重ねて，針を突き通す。このときの二つの穴の対応は，
等長写像
の実現です。
逆に，針を突き通してできる二つの穴の対応を定式化したのが，
等長写像
です。
