De esta manera, si es un conjunto, y todos sus elementos, es comn escribir:

para definir a tal conjunto A. Esta notacin empleada para definir al

conjunto A se llama notacin por extensin. Para representar que un elemento pertenece a
un conjunto A, escribimos (lase "x en A", "x pertenece a A" o bien "x es un elemento
de A"). La negacin de se escribe (lase " no pertenece a A").

El conjunto universal, que representaremos como U (u mayscula), es el conjunto de todas

las cosas sobre las que estemos tratando. As, si hablamos de nmeros enteros entonces U es
el conjunto de los nmeros enteros; si hablamos de ciudades, U es el conjunto de todas las
ciudades. Todos los elementos posibles estn en este conjunto:

Para todo

Este conjunto universal puede mencionarse explcitamente, o puede darse por supuesto segn
el contexto que estemos tratando.

Existe adems, un nico conjunto que no tiene elementos, al que se le llama conjunto vaco y
que se denota por , esto es: . La caracterstica importante de este conjunto es que
todos los elementos posibles no estn contenidos en l:

Para todo .

Por otro lado, si todos los elementos de un conjunto A satisfacen alguna propiedad, misma
que pueda ser expresada como una proposicin , con la indeterminada , usamos
la notacin por comprensin, y se puede definir:

Lo anterior se lee "A es el conjunto de elementos x, que cumplen la propiedad p(x)". El smbolo
":" se lee "que cumplen la propiedad" o "tal que"; este smbolo puede ser remplazado por una
barra . Por ejemplo, el conjunto puede definirse por:

donde el smbolo representa al conjunto de los nmeros

naturales

Pertenencia
Pertenencia: Lo necesario para dar un conjunto es conocer sus elementos. Estas dos
palabras: conjunto y elemento, estn relacionadas por la pertenencia o no de un
determinado objeto a un determinado conjunto.
Las palabras conjunto y elemento son precisadas por las siguientes reglas:

a) Un conjunto X est bien definido cuando se dispone de un criterio para afirmar

que cualquier objeto a, pertenece al conjunto X o si no pertenece al conjunto X. Si el
objeto a pertenece al conjunto X se usa el smbolo de pertenencia escribiendo a
X, el cual se lee a pertenece a X o a es un elemento de X. Si el objeto a no
pertenece al conjunto X
se usa el smbolo de no pertenencia , as escribimos a X, el cual se lee a no
pertenece a X o a no es elemento de X

Inclusin de un conjunto en otro:

Sean A y B dos conjuntos. El conjunto A est incluido en

El conjunto B si se verifica que cada elemento de A pertenece a B. Esto se indica de la
manera siguiente que se lee A es un subconjunto de B

Diferencia o complemento
Sean A y B dos conjuntos tales que La diferencia de A menos B (o complemento
de B en A) es el conjunto formado por los elementos de A que no pertenecen a B

Conjunto vaco
El conjunto vaco es el nico conjunto que no contiene elementos. En la axiomtica de Teora
de conjuntos se postula el axioma del conjunto vaco. Algunas propiedades de los conjuntos
son trivialmente ciertas para el conjunto vaco.
El conjunto vaco es
Aqul que no tiene elementos.

Producto cartesiano

En teora de conjuntos, el producto cartesiano es un producto directo de conjuntos. En particular,

el producto cartesiano de dos conjuntosX y Y, denotado por X Y, es el conjunto de todos los pares
ordenados en los que el primer componente pertenece a X y el segundo a Y:

El producto cartesiano recibe su nombre de Ren Descartes, cuya formulacin de la geometra

analtica dio origen a este concepto.

Ejemplo 1

El producto cartesiano del conjunto de trece rangos de la baraja inglesa

con el de los cuatro palos:

conjunto de las 52 cartas de la baraja:

la forma matemtica de expresarlo es:

Si los conjuntos involucrados son finitos, la cardinalidad (o nmero de

elementos) del producto cartesiano es el producto de las cardinalidades
de los conjuntos involucrados:

En el ejemplo anterior, el nmero de elementos del producto era 52,

provenientes de la multiplicacin de los 13 rangos con los 4 palos de
la baraja inglesa.
 CONJUNTO NUMERICO

Los Conjuntos Numricos son colecciones, agrupaciones o grupos de nmeros con

caractersticas comunes que los definen como una clase, entre los ms comunes estn Los
Nmeros Naturales, Los Enteros, Los Racionales, Los Irracionales y Los Reales.

Los sistemas numricos son conjuntos de nmeros con unas operaciones y unas relaciones
definidas sobre ellos. Por ejemplo el sistema ms usual en aritmtica natural est formado por
el conjunto de los nmeros naturales, con la suma, la multiplicacin y las relaciones usuales de
orden aditivo.

El primer conjunto numrico que la humanidad manej independiente de la cultura fueron los
nmeros naturales. Notados por los matemticos:

N = {1,2,3,4,5,......}

CONJUNTO DE NUMEROS NATURALES

El conjunto de todos los cardinales se denomina CONJUNTO DE NMEROS NATURALES.

Notacin:

Para referirnos al conjunto de Nmeros Naturales con el cero, escribiremos N0 y para referirnos al
conjunto de Nmeros Naturales sin el cero escribiremos: N

El conjunto de NUMEROS NATURALES:

Es un conjunto ordenado segn la relacin de menor, y tiene primer elemento

Es un conjunto infinito

No es denso, porque entre dos elementos cualesquiera existe un nmero finito de nmeros
naturales

Podemos representar el conjunto de nmeros Naturales en una recta numrica:

La flecha indica el orden creciente, complete con algunos de los naturales la recta, transportando

consecutivamente el segmento unidad

El orden de los nmeros naturales se representa en la recta numrica:

Diremos, por ejemplo que

0 es menor que 3, en smbolos:

8 es mayor que 7:
Estas dos proposiciones en lenguaje simblico se denominan inecuaciones

Conjunto de los Nmeros Racionales

Q = {....- , - , - , 0, , , ,.....}

El conjunto de los Nmeros Racionales se cre debido a las limitaciones de clculo que se
presentaban en el conjunto de los Nmeros Naturales, Nmeros Cardinales y Nmeros Enteros. Por
ejemplo, slo se puede dividir en el conjunto de los Nmeros Enteros si y slo si el dividendo es
mltiplo, distinto de cero, del divisor. Para solucionar esta dificultad, se cre este conjunto, el cual est
formado por todos los nmeros de la forma a / b. Esta fraccin en la cual el numerador es a, es un
nmero entero y el denominador b, es un nmero entero distinto de cero.

El conjunto de los Nmeros Racionales (Q ) se ha construido a partir del conjunto de los

Nmeros Enteros (Z).

Se expresa por comprensin como:

Q = { a /b tal que a y b Z; y b 0}

Este conjunto se representa grficamente, dividiendo cada intervalo de una recta numrica en espacios
iguales, que representen nmeros enteros. Cada una de estas subdivisiones representa una fraccin con
denominador igual al nmero de partes de la subdivisin.

Cada fraccin es un nmero racional y cada nmero racional consta de infinitas fracciones
equivalentes.