擇代代數

令 表示一個 -代數，使得 是在 上的一個向量空間，並且

(1)

(2)

那麼，如果對於所有 ， 被稱為擇代的

(3)

(4)

這裡，向量乘法 被假定為雙線性的。

結合子 是一個交替函式，並且由兩個元素生成的子代數是結合的。