Грудой называется алгебра с тернарной операцией <latex> {}^{} [,,]:B^{3}\rightarrow B</latex>, удовлетворяющая тождествам:

1. <latex> {}^{} latex> <latex> [x_{1}x_{2}[x_{3}x_{4}x_{5}, </latex>

2. <latex> {}^{} [x_{1}x_{1}x_{2}]=x_{2}, </latex> <latex> [x_{1}x_{2}x_{2}]=x_{1}. </latex>