写像をドメイン、コドメインのみ与えて定義するのが簡単にできればちょっと優位にたてる分野はある