1.1  Axioms and Examples