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