Identity law (Sets)

The identity law is that $A\cup \varnothing =$ $A$.