Right-normal subsemigroup
ANALOGY: This is an analogue in semigroups of the subgroup property:
View other analogues of normality | View other analogues in semigroups of subgroup properties
Definition
A subsemigroup of a semigroup is termed right-normal if for all , .