=====Груда=====
Грудой называется
алгебра с тернарной операцией {}^{} [,,]:B^{3}\rightarrow B, удовлетворяющая
тождествам:
1. {}^{} [[x_{1}x_{2}x_{3}]x_{4}x_{5}]= [x_{1}x_{2}[x_{3}x_{4}x_{5}]],
2. {}^{} [x_{1}x_{1}x_{2}]=x_{2}, [x_{1}x_{2}x_{2}]=x_{1}.