」のように定義されます。集めた集合」という意味です。一般化して定義しましょう。写像が全射であるとは、図2-1と定義されます。全射であるとは、以下が成り立つことである。一致していることを全射といいます。すべての元に対応付けられていることといえます。写像が単射であるとは、図2-2と定義されます。単射であるとは、以下が成り立つことである。成り立つこと」を単射といいます。)ものがあれば、単射ではないとしています。写像が全単射であるとは、図2-3と定義されます。全単射であるとは、以下が成り立つことである。有限集合では、全単射は「元が1対1で対応する」と言えましたが、無限集合ではそのように感覚的に考えられない場合があります。」だとします(図2-4)。