If is a group and a set, then is called a left -Set if there exists a mapping with
or shorter with
for all and . And when acts on a set , the set is always a -set.
is called a right -Set if there exists a mapping with