Eilenberg-Mac Lane-Steenrod-Milnor Axioms

See Eilenberg-Steenrod Axioms