Comment by warsheep

I don't understand why the claim in your second paragraph is an axiom. Doesn't it follow trivially from your definition?