On the saturation of a topological partial algebra with respect to a congruence relation Grimeisen, G. Similarity:
Some topological aspects of the theory of topological transformation groups Smirnov, Yu. M. Similarity:
Alexandroff One Point Compactification Czesław Byliński (2007) Formalized Mathematics Similarity: In the article, I introduce the notions of the compactification of topological spaces and the Alexandroff one point compactification. Some properties of the locally compact spaces and one point compactification are proved.