A relational symbol representing a normal subgroup relationship that is also a subset in group theory.
