Cardinal Order Is a Partial Order