Absorption law

In algebra, the absorption law or absorption identity is an identity linking a pair of binary operations.

Two binary operations, ¤ and ⁂, are said to be connected by the absorption law if:

a ¤ (ab) = a ⁂ (a ¤ b) = a.