Замыкание (алгебра)
В общей алгебре замыкание множества относительно заданного набора алгебраических операций — минимально возможное (то есть не содержащее других подобных) расширение заданного множества, в котором любое применение этих операций к элементам такого расширения не выходит за его пределы. Минимальное расширение всегда будет существовать как пересечение всех описанных расширений.
Множество, совпадающее со своим замыканием, называется алгебраически замкнутым (относительно заданного набора операций).