Let G be a group and H a subset of G. H is called normal subgroup if it is a subgroup of G and for everey a element of G holds aH=Ha.

Note: The property of being a subgroup is important, do not forget to validate if searching for normal subgroup.