Example: $\mathbb{R}/\mathbb{Z}.$ # Properties Indeed [[Quotient Group is Group]].