Axioms specify
conditions under which it is legal to invoke operations
restrictions on the behavior of those operations