終集合が数体の写像を関数