Ideál (okruhu)

Majme okruh (R,+,·). I je neprázdna podmnožina R. I sa nazýva ideál, ak pre všetky a, b ∈ I a všetky r ∈ R platí

1. a-b ∈ I
2. a·r ∈ I a zároveň r·a ∈ I

Poznámka: Každý ideál je aj podokruh, ale nie každý podokruh musí byť ideál.