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 tal che:

  • si , antlora ,
  • si e , antlora .

L'ideal a l'é pròpi si .