Normal subgroup having a 1-closed transversal

Definition
A normal subgroup having a 1-closed transversal is a normal subgroup that is also a subgroup having a 1-closed transversal: it has a left transversal that is also a defining ingredient::1-closed subset of the group (i.e., a union of subgroups of the group).