Ideal (mathematics)

In ring theory, an ideal is defined as a subset of a ring with the following properties:

1. Zero is an element of the ideal
2. The ideal is closed under addition
3. The product of an element of the ideal and an element of the initial ring is an element of the ideal