論理記号を用いて写像の定義を書くと、次のようになる。中学や高校で習ったと思いますが、関数というものがありますよね。写像というのは、関数を一般の集合に拡張して定義したものです。大学ではむしろ写像の定義が先にきて、関数は写像の特別なものと考えます。)への写像のことを関数と言います。定義域と言うことがあります。◇Ex.SetTop.2.8.2.とします。それぞれ次のように定めます。行き先が定められていないからです。