Contains As Normal Subgroup Symbol ⊳