Relation

a x (a + b) = a + a x b ≡ a