Axiom. Identity laws [identity-laws]

For every , .