cen palabras nuevas para designar combinaciones lógicas de conceptos ya definidos. Ejemplo 2. "Cuerda de una circunferencia es un segmento cuyos extremos están sobre la circunferencia". Estas definiciones corresponden al tipo de las llamadas por género próximo ("C es un segmento") y última diferencia o diferencia específica. ("Los extremos de C están sobre la circunferencia"). Para comprender bien el sentido de las demostraciones es necesario tener siempre en cuenta el principio lógico de Pascal: "Sustitúyanse los entes de- finidos por sus definiciones". Esto se comprueba en seguida en una aplicación del ejemplo 2. A veces el prin- cipiante sólo ve un artificio en el hecho de unir los extremos de una cuerda AB al centro de la circunferencia para demostrar el teorema: "una cuerda AB de una cir- cunferencia que no es un diámetro, es más corta que un diámetro". Sin embargo, se daría cuenta del porqué de la construcción demostrativa si recordara la definición de circunferencia: "lugar de puntos del plano que equidistan del centro"; y por esto, para utilizar la hipótesis de que A y B están en la circunferencia, se ha de partir de que su distancia al centro es la misma e igual al radio. 5. Igualdad. Relaciones de equivalencia. — La idea de relación es también primitiva (como las de unidad y conjunto), es decir, no reducible a otras más simples. Si la letra R designa una relación binaria, es decir, si tie- ne sentido para ciertos pares de elementos de un conjunto, se expresa a R b, que puede ser verdadera o falsa. En el primer caso diremos: "a tiene con b la relación R, o está con b en la relación R". Ejemplo 1. La perpendicularidad ⟘; dadas dos rectas: a, b, es a ⟘ b o no es a ⟘ b. La relación binaria de igualdad absoluta o de identidad no se verifica sino entre una cosa y ella misma. Pero también se suele decir que dos figuras congruentes (es decir, superponibles) son iguales. Este concepto más amplio de igualdad es un caso particular del siguiente: Diremos que una relación binaria E entre elementos de un conjunto M es una relación de igualdad o de equivalencia cuando tiene las siguientes propiedades: 1) Propiedad reflexiva: a E a) 2) Propiedad simétrica: De a E b se deduce b E a; 3) Propiedad transitiva: De a E b y b E c se deduce a E c. Ejemplo 2. La congruencia, la semejanza y el paralelismo son relaciones de equi- valencia, como puede comprobarse, previo el convenio de considerar a cada recta como paralela a sí misma. La divisibilidad de un número por otro es una relación reflexiva y transitiva, pero no es simétrica, y por consiguiente, no es una relación de equivalencia. Tampoco lo son las relaciones ⟘, <, ≦. ¿Por qué? Las relaciones de equivalencia tienen una propiedad fundamental para las consideraciones del apartado siguiente: Teor . : Toda relación de equivalencia E entre elemen- tos de un conjunto M agrupa los elementos de M en clases o sub-