Here are the exact definitions of the terms: Let $G$ be a topological group. Then $G$ has the small index property if every subgroup of countable (including finite) index is open in $G$. Furthermore, $G$ has automatic continuity if every group homomorphism from $G$ to any separable topological ...