Conjunto: En 

matemáticas, un conjunto es una colección de elementos

considerada en sí misma como un objeto. Los elementos de un conjunto,
pueden ser las siguientes: personas, números, colores, letras, figuras, etc. Se
dice que un elemento (o miembro) pertenece al conjunto si está definido como
incluido de algún modo dentro de él.
Ejemplo: el conjunto de los colores del arcoíris es:
AI = {rojo, naranja, amarillo, verde, azul, añil, violeta}
Un conjunto suele definirse mediante una propiedad que todos sus
elementos poseen. Por ejemplo, para los números naturales, si se
considera la propiedad de ser un número primo, el conjunto de los números
primos es:
P = {2, 3, 5, 7, 11, 13, …}

Conjunto por comprensión: En Teoría de Conjuntos se definen los conjuntos

por comprensión como aquellos conjuntos cuya notación no indica cada uno de
los elementos, sino que de manera general se indican las propiedades de sus
elementos:
A = {x / x es un número par menor de 10}
Por lo tanto, el conjunto A está expresado por comprensión ya que no se
indican sus elementos de manera explícita sino mediante una regla.

Conjunto por extensión: Por otra parte, se denominan conjuntos por

extensión aquellos en que sus elementos se indican de manera explícita.
A = {2, 4, 6, 8} se corresponde al mismo conjunto anterior pero expresado por
extensión
Ejemplos de Conjuntos por Extensión:

Veamos algunos ejemplos de conjuntos por extensión y compresión.

A = {a, e, i, o, u} es un conjunto en el que se indican todos sus elementos, por
lo tanto se trata de un conjunto por extensión

Fuente: https://www.matematicas10.net/2018/03/ejemplos-de-conjuntos-por-
comprension.html
Potencia de un conjunto.
En matemáticas, el conjunto potencia de un conjunto dado es otro conjunto
formado por todos los subconjuntos del conjunto dado incluyendo el mismo c
onjunto y el conjunto vacío.
Por ejemplo, dado el conjunto:
Y se denota por 2ª, donde a = número de elementos.

A= {1,2,3} , aquí tenemos 23 = 8 subconjuntos

el conjunto potencia es:
{ø, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3}}

B = {a, b, c, d}, aquí tenemos 24 = 16 subconjuntos

{ø, {a}, {b}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, c, d}, {a,
b, d}, {b, c, d}, {a, b, c, d}}

Operaciones con los conjuntos.

Par ordenado y producto cartesiano.

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la
que se distingue un elemento y otro. ... El producto cartesiano de conjuntos,
las relaciones binarias, las coordenadas cartesianas, las fracciones y las
funciones se definen en términos de pares ordenados.
Producto cartesiano:
Concepto de producto cartesiano
El nombre de producto cartesiano se dio para conmemorar el nombre de quien
lo descubrió: René Descartes
Sean A y B conjuntos diferentes del vacío. El producto cartesiano de A y B
denotado A x B es el conjunto formado por todas las parejas ordenadas, tales
que las primeras componentes son elementos de A y las segundas
componentes son elementos de B. Simbólicamente,
A x B = {(x, y) /x E A ^ y E B}
En general se tiene:
AXB

Las relaciones y sus clasificaciones:

Reflexiva: a = a
Simétrica: Si a = b → b = a

Antisimétrica: Si a = b y b = c → a = c