Set
s
of identities between relators
(
xy
a
-1
)(
xy
b)b
-1
(
x
a)
The main table
Summary
