离散群是配备了离散拓扑的群G。带有这种拓扑 G成为了拓扑群。拓扑群 G的离散子群是其相对拓扑为离散拓扑的子群H。