La nossion d'ideal a l'é la nossion doal ëd cola ëd fìlter.
Dàit n'ansem A, n'ideal su A a l'é na famija I⊆P(A){\displaystyle {\mathcal {I}}\subseteq {\mathcal {P}}(A)} tal che:
L'ideal I{\displaystyle {\mathcal {I}}} a l'é pròpi si I≠P(A){\displaystyle {\mathcal {I}}\neq {\mathcal {P}}(A)}.