La existencia de una función inyectiva entre dos conjuntos también define una relación de orden entre sus cardinales; es decir: