|
Assim, uma relação binária é o conjunto de pares ordenados cujo primeiro elemento pertence a ''A'' e o segundo elemento pertence a ''B'', quaisquer que sejam os conjuntos ''A'' e ''B''. Representa-se a relação binária por <math>R : A \rightarrow B</math>. O conjunto ''A'' é chamado de '''domínio''' da relação, o conjunto ''B'' é chamado de '''contradomínio''' da relação.
==
== Especificando relações ==
[[Imagem:relacoes_ABdobro.png|thumb|right|180px|Relação de A em B, definida como a associação de elementos de A ao seu dobro em B.]]
A imagem à direita mostra uma maneira comum de se especificar relações: através de figuras mostrando os dois conjuntos, com setas indicando os pares ordenados.
As relações também podem ser especificadas matematicamente da seguinte maneira:
::<math>R = \{(x,y) \in A \times B | C \}</math>,
Onde ''C'' é uma condição qualquer que associe os elementos de ''A'' e ''B''. Pode ser uma equação ou inequação. Por exemplo:
::A = { 1,2,3 }
::B = { 1,2,3,4,5,6 }
::<math>R = \{(x,y) \in A \times B | y=2x \}</math>
A relação, cujo domínio é ''A'' e o contradomínio é ''B'', é especificada por y = 2x. Logo, R = { (1,2),(2,4),(3,6) }.
::C = { 1,2,4,8 }
::D = { 0,1,2 }
::<math>R = \{(x,y) \in C \times D | x < y \}</math>
::R = { (1,2) }
== Representação gráfica ==
|
