Left-normal subsemigroup
From Groupprops
ANALOGY: This is an analogue in semigroup of a property encountered in group. Specifically, it is a subsemigroup property analogous to the subgroup property: normal subgroup
View other analogues of normal subgroup | View other analogues in semigroups of subgroup properties (OR, View as a tabulated list)
Definition
A subsemigroup of a semigroup
is termed left-normal if for all
,
.