写像のなる集合への制限(restriction)はと書く。