En lenguaje matemático , la caracterización de un objeto X por una propiedad P significa que no sólo X tiene la propiedad P pero más X es el único objeto de tener la propiedad P . También es bastante común a las declaraciones de encuentro como: "la propiedad Q caracteriza Y hasta que isomorfismo ", lo que indica que los objetos que satisfacen Q son exactamente los objetos isomorfo a Y (en lugar de "isomorfismo" en la expresión “ Hasta ... ” , se podría especificar otra “ relación de equivalencia entre objetos”).