」を定義することに繋がります。二項関係の例を紹介します。」は二項関係になります。」は、図2-2の条件を満たすため、「全順序ぜんじゅんじょ」と呼ばれます。」が成り立つことを言っています。成り立つ」と言っています。成り立つ」と言っています。どちらかが成り立つ」と言っています。」はこれらの条件を満たすため、全順序です。ちなみに、4つ目の条件以外を満たす二項関係を「半順序はんじゅんじょ」といいます。全順序であれば、必ず半順序です。」は、全順序ではなく、半順序となります。」は二項関係になります。」は、図2-3の条件を満たすため、「同値関係どうちかんけい」と呼ばれます。同値関係この同値関係は、命題の同値とは別のものです。意味としては同値関係のほうが広いです。3写像さてそれでは、いよいよ写像を厳密に定義します(図3-1)。