A subring of a ring is an ideal of if and for all and all .

We can then write to show that is an ideal of .