Ideál (okruhu)
Vzhľad
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í
- a-b ∈ I
- 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.