What's this boolean law called

Question

I think it is always true that

x || (x && y) 

is equivalent to

x

If so, what is that law called? I'm not even sure how I would Google for that.

Answer 1

It's called a Redundancy Law.

A + A·B = A