「イデアル (X) に関する同値類に対応する K の元を a と記す」という説明には問題がないのですか？

a = 「Xの属する同値類」のことみたいですが。