INTRODUCION

En matemáticas, una relación binaria es una relación matemática R entre los elementos de dos conjuntos A y B. Una relación de este tipo se puede representar mediante pares ordenados, (a,b)\in A \times B :1 R = \Big\{ (a,b): \; a \in A \quad \land \quad b \in B \quad \land \quad R(a,b) = \mbox{cierto} \Big\} Las proposiciones siguientes son correctas para representar una relación binaria R\,: a \mathcal{R} b \qquad \mbox{o} \qquad R(a,b) \qquad \mbox{o bien} \qquad (a,b) \in R También puede expresarse: \mathcal{R} \; a \; b