(Alm. echte Teilmenge, f; Fr. partie propre, f; İng. proper subset)
mat. Bir kümenin kendisine eşit olmayan altkümelerinden biri. aşikar ideal (Alm. Trivialideal, n; Fr. idéal trivial, m; İng. trivial ideal)
mat. Bir R halkasının toplamaya göre etkisiz elemanından oluşan {0} ideali.