Ideal (Verbandstheorie)

In der abstrakten Algebra ist ein Ideal eines Verbandes  eine Teilmenge die bezüglich beider Verbandsoperationen und bezüglich sogar mit Elementen aus dem gesamten Verband abgeschlossen ist. Die Bezeichnung „Ideal“ ist angelehnt an den Begriff des Ideals in der Ringtheorie.