Let (U, R) be an approximation space with U being non-empty set and R equivalence relation on U, let $${\overline{G}}$$ $${\underline{G}}$$ the upper lower of subset G U. A topological rough group is a $$G=({\underline{G}}, {\overline{G}})$$ endowed topology, which induced from , such that product mapping $$f: G\times G\rightarrow {\overline{G}}$$ inverse are continuous. In class groups, relati...