 Transitively normal subgroup

In group theory, a subgroup \( H \) of a group \( G \) is said to be **transitively normal** in \( G \) if it is normal in every subgroup of \( G \) that contains \( H \).