In mathematics, in the field of group theory, a subgroup
is termed seminormal if there is a subgroup
This definition of seminormal subgroups is due to Xiang Ying Su.
[1][2] Every normal subgroup is seminormal.
For finite groups, every quasinormal subgroup is seminormal.