En un grupo topológico, se cumple que