を示す。つまり、という射の集合を表す

の集合を表す