2 1.

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

También se enuncian las siguientes condiciones para definir un conjunto:
  a) Los elementos que forman el conjunto han de ser entes bien definidos (puntos,
números, etc.).
  b) Para cada uno de estos elementos no hay otra alternativa que la de pertenecer
o no al conjunto.
  c) Para cada par de elementos a considerar no hay otra alternativa que la de estar
formado o no por elementos distintos.
  Cuando la condición impuesta P es contradictoria, no existe ningún
elemento que la cumpla, y se dice que define un conjunto vacío, que suele
simbolizarse por 0.
  Ejemplo 2. Son vacíos los conjuntos siguientes: triángulos equiláteros rectángulos;
números primos pares mayores que 2.
  Un solo elemento a puede también concebirse como un conjunto ⎨a⎬ que
consta de la sola unidad a, pero en este caso son conceptos distintos los de
unidad a y conjunto {a} que ella sola forma.
  Prescindir de esta distinción u otras, así como introducir conceptos y razonamien-
tos en círculo vicioso (tal la expresión “el conjunto de todos los conjuntos”), da lugar a
antinomias o paradojas famosas, como las de Cervantes (Don Quijote de la Mancha,
2a parte, cap. LI), Burali Forti, Russell, etc. Éstas corresponden al siguiente tipo
de proposición: “Es una regla que todas las reglas tienen excepciones”. Si la regla
anterior tiene excepción, entonces debe haber alguna regla sin excepción, contra lo
afirmado por la proposición, que queda así sin sentido.
  Para expresar que un elemento a pertenece a un conjunto M suele escri-
birse a ε M (a es elemento de M). Si todos los elementos de un conjunto N son
también elementos del conjunto M, se dice que N está contenido o incluido
en M, y se escribe * N(≦)M. Entonces se dice también que M comprende a N,
y se escribe M(≧)N. Diremos que el conjunto N es una parte o conjunto par-
cial de otro, M, cuando perteneciendo todo elemento de N a M, hay en éste
algún elemento que no pertenece a N y entonces se escribe N(<)M, o bien:
M(>)N. Podemos suponer, siempre, que el conjunto vacío está contenido en
cualquier otro. Si se verifica a la vez N(≦)M y M(≦)N (todo elemento de N
pertenece a M y todo elemento de M pertenece a N), se dice que los conjuntos
M y N son iguales o idénticos, y se escribe M = N.
  En íntima relación con las nociones de unidad y conjunto están los concep-
tos, que en Lógica suelen clasificarse en individuales y específicos: los prime-
ros se refieren a objetos particulares; los segundos, a grupos de objetos que
tienen ciertas propiedades comunes. A cada concepto específico corresponde
un conjunto: el de los objetos a los cuales es aplicable. Por consiguiente, tam-
bién los conceptos pueden determinarse por extensión o por comprensión.

* Por razones tipográficas usamos el símbolo (≦) en lugar del más usual ⊆