feat(Topology/UniformSpace/AbstractCompletion):add comparison lemma

[faenuccio]

Add a lemma showing that composing the comparison maps with a continuous function to a T3 space satisfying some conditions yield the same function.

Co-authored with : María Inés de Frutos Fernández @mariainesdff