Axiom AA2:
forall h,h',g in H forall a in (0,1] h>h' => ah+(1-a)g">"ah'"+"(1-a)g