Dehornoy’s ordering of the braid groups extends the subword ordering