D.1 Introdução
Nós estamos familiarizados com muitas relações que são utilizadas em matemática e ciência da computação. Por exemplo, “menor que”, “maior que”, “é ortogonal a”, “é um subconjunto de”, “pertence a”, ...
De certa forma, essas relações consideram a existência de uma conexão entre pares de objetos que são comparados em uma ordem predefinida. Formalmente, nós definimos uma relação em termos desses “pares ordenados”.
Na teoria da ciência da computação, existem três tipos de relação que são muito importantes:
- relações binárias;
- relações de equivalência;
- funções.
As duas primeiras serão estudadas e discutidas nessa unidade. As relações funcionais serão apresentadas na Unidade E.
Como apresentado anteriormente, as relações são definidas em termos de pares ordenados (a, b) de elementos, onde a é o primeiro elemento e b, o segundo. Não esqueçamos, da Unidade C, que
se, e somente se, a = c e b = d.