8 1.

FUNDAMENTACIÓN DEL NÚMERO RACIONAL §1-5

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-