Closure Axioms

Idempotence