Definition:Symmetric Subset of Topological Group