Absorption (mathematics)/Definition

An identity linking a pair of binary operations.