>140
「集合Aの各元を集合Bの一つの元に対応させる規則(関係？)を
集合Aから集合Bへの写像という」
これだと空集合からの写像とかがわかりにくいけど、あまり関係ないから
これでいいと思う。