فرض کنیم a یک *c-جبر سه تایی باشد. نگاشت c-دوخطی t : a × a ? a را یک *c-دومضروب جبرهای سه تایی می نامیم اگر به ازای هر a, b, c, d ? a در
[t([a, b, c], d) = [t(a, b), c, d
و
[(t(a, [b, c, d]) = [a, b, t(c, d
صدق کند. همچنین نگاشت c-دوخطی t : a × a ? a را *c-دومضروب جردن جبرهای سه تایی می نامیم اگر به ازای هر a ? a در
[t([a, a, a], a) = [t(a, a), a, a
و
[(t(a, [a, a, a]) = [a, a, t(a, a
ص...