Yes, seems like a mistake to mention that without saying that the difference is that they have different order types (and that there is a sense of some order ty

Yes, seems like a mistake to mention that without saying that the difference is that they have different order types (and that there is a sense of some order types being "much bigger" than others, even if they have the same cardinality)