Грудой называется алгебра с тернарной операцией <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>