PRODUTO CARTESIANO:

Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) dos dois
conjuntos (escrito como X × Y x Z) é o conjunto de todos os pares ordenados cujo primeiro
termo pertence a X e o segundo, a Y.

RELAÇÃO BINÁRIA
É uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações
binárias são comuns em muitas áreas da matemática para definir conceitos como por exemplos:
"é múltiplo" e "maior que" da aritmética; "é congruente" da geometria; e outros.

Uma relação binária é definida como sendo um subconjunto do produto cartesiano entre os
conjuntos A e conjunto B. Isto é, uma relação R é um conjunto de pares ordenados. Um
subconjunto de A x A pode ser chamado simplesmente de relação binária em A.

PROPRIEDADES DAS RELAÇÕES

REFLEXIVA:
Em um conjunto qualquer, podemos dizer que existe relação reflexiva se os subconjuntos
deste conjunto possuírem os mesmos elementos, por exemplo:

Ex. 1 :Conjunto A
A= { a, b, d, z }

Relações:
R1 = { (a,b), (b,a), (b,z) } Não é reflexiva
R2 = { (a,b), (b,d), (z,z) } Não é reflexiva
R3 = { (a,a), (a,b), (b,b), (d,d), (z,z) } É reflexiva

Ex. 2: Conjunto K
K= { 1, 4, 10 }

Relações:
R1 = { (1,1), (1,4), (4,4) } Não é reflexiva
R2 = { } Não é reflexiva
R3 = { (1,1), (1,4), (1,10), (4,1), (4,4), (4,10), (10,1), (10,4), (10,10)} É reflexiva
Podemos dizer que a relação é reflexiva de tal conjunto, se este apresentar os pares de
todos os números iguais pertencentes ao conjunto.

SIMÉTRICA E ANTI-SIMÉTRICA:

Em um conjunto R qualquer dizemos que a relação é simétrica quando (a,b) pertence ao

conjunto R e obrigatoriamente o subconjunto (b,a) também pertença ao conjunto R, ao
contrário a relação será anti-simétrica.

Exemplo 1: Conjunto L
L = { 2, 4, 6, 8 }
Relações:
R1 = {(2,4), (2,6), (6,8)} É anti-simétrica
R2 = {(2,4), (2,6), (4,2), (6,8)} É simétrica
R3 = { (2,4), (2,6), (2,8), (4,2), (8,2), (6,2)} É simétrica

Exemplo 2: Conjunto K
K= { 1, 4, 10 }
Relações:
R1 = { (1,1), (1,4), (4,4) } É anti-simétrica
R2 = { } É anti-simétrica
R3 = { (1,1), (1,4), (1,10), (4,1), (4,4), (4,10), (10,1), (10,4), (10,10)} É simétrica

Uma relação R é simétrica se em um conjunto A (a,b) pertence a R implica (b,a) pertença a

R. Uma relação R não é simétrica se em um conjunto A (a,b) pertence a R e (b,a) não
pertença a R

TRANSITIVA:

A relação R é transitiva em um conjunto, se a seguinte relação for satisfeita: (a,b) pertence

a R e (b,c) pertence a R implica que (a,c) pertença a R, caso contrário a relação não é
transitiva.

Exempo 1: Conjunto A
A= { a, b, c, d }
Relações:
R1= { (a,b), (a,d), (b,c), (c,d) } Não é transitiva
R2= { (a,b), (a,c), (b,c), (a,c) } É transitiva
R3= a<=b, b<=c então a<=c, É transitiva
R4= Se a é perpendicular á b e b é perpendicular á c, então a não é perpendicular á c, a
relação não é transitiva

Exemplo 2: Conjunto B
B= { 2, 10, 200 }
Relações:
R1= { (2,10), (2,200), (10,2), (10,200), (200,2), (200,10) } É transitiva
R2= { (2,2), (2,10), (10,10), (200,200) } Não é transitiva

Uma relação R em um conjunto é transitiva se (a,b) e (b,c) pertencem a R implica (a,c)

também pertença a R. Logo não é transitiva se (a,b) e (b,c) pertencem a R e (a,c) não
pertença.

RELAÇÃO DE ORDEM

Uma relação de ordem é uma relação binária que pretende captar o sentido intuitivo de
relações como o maior e o menor o anterior e o posterior e etc. Foram definidos muitos tipos
de relações de ordem e diferentes obras usam os termos "ordem" e "relação de ordem" de
maneiras diversas, pelo qual existe uma ambiguidade na literatura. Os tópicos "relações de
ordens" estão fortemente vinculados ao conjunto parcialmente ordenado.

RELAÇÃO DE EQUIVALÊNCIA

Uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva. A
relação "é igual a" é o exemplo canônico de uma relação de equivalência, onde para
qualquer objeto a, b e c:

Como consequência das propriedades reflexivas, simétricas e transitivas, qualquer relação de

equivalência fornece uma partição do conjunto subjacente em classes de equivalência
desconexas. Dois elementos do conjunto dado são equivalentes entre si se e somente se
pertencem à mesma classe de equivalência.