Describir: Completez en grupos topológicos y paratopológicos