A structure of 2-term operation combine and 1-term operation invert, which must satisfy following conditions:
combine
invert
x
y
z
combine(combine(x, y), z)
combine(x, combine(y, z))
combine(x, identity)
combine(identity, x)
combine(x, invert(x))
combine(invert(x), x)
identity
Readonly
Generated using TypeDoc
A structure of 2-term operation
combine
and 1-term operationinvert
, which must satisfy following conditions:x
,y
andz
;combine(combine(x, y), z)
equals tocombine(x, combine(y, z))
.x
;combine(x, identity)
equals tocombine(identity, x)
andx
.x
;combine(x, invert(x))
equals tocombine(invert(x), x)
andidentity
.