设<S，*，○>是包含两个二元运算*，○的代数系统，如果*，○满足（），则称<S，*，○>是格。

设<S，*，○>是包含两个二元运算*，○的代数系统，如果*，○满足（），则称<S，*，○>是格。
A.交换律
B.分配律
C.结合律
D.吸收律
正确答案：ABC