束の定義を、a∧b = inf(a, b), a∨b = sup(a, b) としたら、結合律、吸収律ってどうやったら示せるの