Ідеал (математика)

підструктура з певними властивостями в абстрактній алгебрі (замкнена відносно множення на елементи з кільця, напівгрупи тощо)