Дописать теорему 5 в матлоге

[Jovvik]

M3137year2019/matlog/4sem/main.tex

Line 525 in ad95090

Пусть \((X,\Omega)\) --- топологическое пространство, \(a + b = a\cup b, a\cdot b = a \cap b, a \to b = ((X\setminus a)\subset b)^\circ\), тогда \? % TODO: дописать