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

Теорема Биркгофа-Тарского: Если X – некоторое множество, на множестве всех подмножеств X задан оператор замыкания Cn и X_Cn – множество всех замкнутых относительно Cn подмножеств X, то множество <X_Cn, > является решеткой с нулем и единицей по отношению включения.