open groups

open groups See closed groups and open groups.