>>731
多項式環 K[X] は集合ですよね？
K 係数のモニック（過去スレpart1の115）な多項式全体は K[X] に含まれます。