>>265 より g(θ) は θ の属す (Q_0)+(D)/Γ の類できまり、
その代表元 θ の取り方によらない。

よって写像
ψ_QI: (Q_0)+(D)/Γ → CL(D) が定義される。