RELACIÓN BINARIA EN UN CONJUNTO:

               

Sea A un conjunto no vacío, una relación R:A -> A es un subconjunto de AxA (Producto cartesiano)

Formas de expresar una relación binaria en un conjunto:

Extensión: Cuando expresamos una por una todas las parejas que con forman la relación.

R = { (1,1), (1,2), (1,3), (2,2), (2,3), (3,3) }

Comprensión: Cuando expresamos la relación mediante una serie de condiciones que determinar las parejas que pertenecen a la relación.

Sea A = { 1, 2, 3} ,  R: A → A tal que :(x , y )  R ↔  x ≤  y

Diagrama: Cuando expresamos la relación mediante un diagrama , donde se indican que elementos están vinculados por la relación.