Ideal (Verbandstheorie)

In der abstrakten Algebra ist ein Ideal eines Verbandes ${\displaystyle (V,\vee ,\wedge )}$ eine Teilmenge ${\displaystyle I,}$ die bezüglich beider Verbandsoperationen und bezüglich ${\displaystyle \wedge }$ sogar mit Elementen aus dem gesamten Verband abgeschlossen ist. Die Bezeichnung ist angelehnt an den Begriff des Ideals in der Ringtheorie.