写像の定義