Lie group
離散群是和零維李群同樣的東西(不可數離散群不是第二可數的，所以要求李群滿足這個公理的作者不把這些群認做李群)。離散群的單位元單元就是平凡子群而單元的群同構于這個群自身。