格中两个元素a与b，若a ≤ b，则满足下面哪些性质：

• A、

  a * b = a；  

• B、

  a  b = b；  

• C、

  a * (a  b) = a；  

• D、

  a  ( a * b) = b。