Relaciones

Todos los subconjuntos de (a) x(b)  están incluidos en una relación.

La cantidad máxima de relaciones que se puede obtener a partir de dos conjuntos se la representa por:

2^{N(A)  N(B)}

Dominio de una relación

El dominio de una relación está constituido a partir de los conjuntos A y B, los elementos del conjunto A que tienen correspondencia en el conjunto B se lo representará con domR.

Rango de una relación 

Este está constituido por los elementos del conjunto B que tienen relación con los elementos del dominio (conjunto A) y se lo representará simbólicamente por rgR.