Ideal

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 ${\mathcal {I}}\subseteq {\mathcal {P}}(A)$ tal che: si $X,Y\in {\mathcal {I}}$, antlora $X\cup Y\in {\mathcal {I}}$, si $Y\in {\mathcal {I}}$ e $X\subseteq Y$, antlora $X\in {\mathcal {I}}$. L'ideal ${\mathcal {I}}$ a l'é pròpi si ${\mathcal {I}}\neq {\mathcal {P}}(A)$.