Словарь по логике

Топологическое объединение множеств (объединение с замыканием)

Пусть Cn – некоторое замыкание, X₁и X₂ – замкнутые относительно Cn множества и X_Cn – множество всех замкнутых относительно Cn множеств, тогда операция объединения в топрологической системе <X_Cn, > определяется следующим образом.
X₁+X₂ = Cn(X₁X₂).

© Автор статьи.