By means of this connection, topological properties such as proximity and continuity translate into properties of groups