Representation, axiomatization, and invariance