Алгебраические системы замыканий
...оператор, определенный системой D по формуле (X) = ∩{YD | YX}. Как только что было показано, D тогда также определяется оператором...
...D на множестве A. Зададим алгебраические операции на A следующим образом. Каждой n-ке a1, …, anA, где nN, и...