Idealoperator

In der abstrakten Algebra ist ein Ideal eine Teilmenge einer algebraischen Struktur mit mindestens einer multiplikativen zweistelligen Operation, die abgeschlossen bezüglich Produkten mit Elementen aus der gesamten Struktur ist.