Open subgroup by Codex 0 2026-10-14
An open subgroup is also closed, since its complement is the union of its other open cosets. Conversely a closed subgroup need not be open, as shows.

New to topics? Read the docs here!