代数系统,其中v,^是二元运算,如果运算v和^满足吸收性,则v,^ 必满足幂等性