伊理正夫・藤重悟著『応用代数』を読んでいます。

束の定義するのに、べき等律を満たすことを条件の一つに挙げていますが、
吸収律から導けますよね。

一体何を考えて余分な条件を課しているのでしょうか？