O QUE É RELAÇÃO BINÁRIA E FUNÇÃO? Essa é a pergunta que vamos responder e mostrar uma maneira simples de se lembrar dessa informação. Portanto, é essencial você conferir a matéria completamente.
A definição de relação binária é essa mesmo. A idéia intuitiva dela é mesma de relação que conhecemos usualmente. Vamos definir subconjunto primeiro: Se a gente tem um conjunto A, um conjunto B é chamado subconjunto de A se todo elemento de B for elemento de A. Por exemplo, N é o conjunto dos números naturais e R o conjunto dos reais. Sabemos que todo natural é um número real. Assim, todo elemento de N está em R. Logo, N é um subconjunto de R. Um outro exemplo é esse: se A é um conjunto, segue da definição que A é subconjunto de A. Uma definição mais sucinta, utilizando símbolos matemáticos, é essa: B é subconjunto de A <=> ( (x E B) => (x E A) )