写像というのは、定義域と値域が与えられていないと始まらない。