Operación lógica por la cual se concretan los rasgos esenciales del objeto definido y al mismo tiempo se diferencian de todos los objetos que se le parecen.