TeX source:

S={n ∈ N | g^n ∈ H} ⊆ N