Рассмотрим функцию

и множество

Множество

называется замкнутым для функции

если те элементы множества

которые являются элементами области определения функции

имеют значения в

Теперь рассмотрим подмножество

множества

замкнутого для функции

Если каждый элемент множества

имеет хотя бы один прообраз в

то множество

называется замыканием множества

для функции

Как следствие вылезает, что, если множество

замыкание подмножества

для функции

то каждое множество

содержащее

и замкнутое для

содержит

Т. е.

-- наименьшее замкнутое для

множество, содержащее

Где про эту конструкцию можно прочитать на русском языке?