Un grupo topológico T es regular.