写像、、が与えられたとき、