 The notion of relation number, is the generalization of the notion of a well-ordering to an arbitrary relation. Just as a cardinal number is defined in PM as a class of equinumerous classes, an arbitrary relation number is a class of ordinally similar relations.