写像を集合として見る視点