写像の集合の濃度