1. Relación A B
Dados dos conjuntos A y B, se define el producto
cartesiano de ellos por AxB, como el conjunto de
parejas ordenadas cuya primera componente es un
elemento de a y la segunda de B,
AxB= {(a,b) : aEA Ʌ bEB). Todo subconjunto
cartesiano se dice una relación de A en B.