С этой целью для каждого подмножества введем символ e_s (который впоследствии окажется равным , если S = {i₁, ..., i_m, i₁ < ... < i_m); положим также ( - пустое подмножество). Обозначим через C(L) -линейное пространство с базисом {e_s. Определим умножение в C(L) следующим образом. Если , положим

Для двух подмножеств положим

где, напомним, a_i = g(e_i, e_i). Пустые произведения считаются равными единице. Наконец, произведение линейных комбинаций , определим формулой

где - симметрическая разность множеств S, T. Все аксиомы -алгебры проверяются тривиально, за исключением ассоциативности.

-1-2-3-4-5-6-7-8-