Usuario:Jorgegg02/Taller

]

Relación Complementaria

Una Relación binaria R se define como un subconjunto de un producto cartesiano X × Y. La relación complementaria ${\bar {R}}$ es el complemento del conjunto R en X × Y. El complemento de la relación R puede ser escrito como

${\bar {R}}\ =\ (X\times Y)\setminus R.$

Aquí, R es a menudo visto como una matriz lógica con filas representado los elementos de X, y las columnas los elementos de Y. La verdad de aRb corresponde a 1 en la fila a , columna b . Produciendo la relación complementaria de "R" que corresponde a cambiar todos los 1 a 0 y los 0 a 1 para la matriz lógica del complemento.

Junto con la composición de relaciones y la relación inversa , las relaciones complementarias y el álgebra de conjuntos son la operación elemental de la [[lógica algebraica]