集合間の写像に対し、を()とする。