Hunting)という映画があります。マット・デイモンが演じるウィル・ハンティングは、マサチューセッツ工科大学で清掃員の仕事をしていました。大学の掲示板にあった数学の証明問題を見かけた彼は、その難問を解いてしまいます。字幕スーパーから、同型性で解いたことがわかりました。関係を同型性といいます。≡は「同じ」を意味し、(数式で表現できる→図形で表現できる)そして(図形で表現できる→数式で表現できる)ことを表しています。これから同型性の例を示します。