complete the section about properties of topo grps