Comment by friendlyfrog

It's not arbitrary. It comes directly from the axiomatics.