The weyl group order is a multipiciative morphism