Neste texto o leitor será apresentado ao conceito de relação de ordem parcial, para entender o que é essa ideia dentro do estudo das relações. Para isso, verá que é preciso que a relação cumpra algumas propriedades que serão apresentadas.
Revisão sobre relações entre conjuntos.
Antes de entender o que é uma relação de ordem parcial é necessário que o leitor relembre o conceito de relação entre conjuntos.
S é um relação de um conjunto A para B se S⊂AxB, isto é uma relação entre dois conjuntos é um subconjunto do produto cartesiano entre eles.
Assim, o conjunto vazio é relação entre quaisquer dois conjuntos e um produto cartesiano é uma relação entre dois conjuntos.
Caso o leitor queria saber mais sobre relações ele pode conferir o seguinte texto aqui do blog:
Um comentário importante para o tipo de relação que vamos definir é que dizemos que S é uma seleção em A se for uma relação de AxA.
Relação de Ordem Parcial
Dada uma relação S em A, dizemos que ela é de ordem parcial se for reflexiva, antissimétrica e transitiva.
Vamos entender o que isso significa.
A partir daqui só nos interessam as relações de AxB quando A=B, isto é, as relações sobre um mesmo conjunto.
Dizemos que uma relação S em A é reflexiva quando para todo x que pertence A, então (x, x)∈S. Mais coloquialmente, todo elemento do conjunto se relaciona com ele mesmo.
Dizemos que uma relação S em A é antissimétrica quando para todos x e y que pertencem a A com (x, y), (y, x)∈S então x=y. Isto é, em S, se x se relaciona com y e y se relaciona com x, então, na verdade, x e y são o mesmo elemento.
Dizemos que uma relação S em A é transitiva quando para todos x, y e z que pertencem a A com (x, y) e (y, z) então (x, z). Isto quer dizer que se x se relaciona com y, que se relaciona com z, então x se relaciona com z, o que de alguma forma diz que a relação se existe com um “intermediário”, esse intermediário não é necessário.
Finalmente, agora entendemos o que é uma relação de ordem parcial. É uma relação sobre um conjunto que cumpre as três condições acima.
Num próximo texto aqui do blog o leitor vai ver exemplos desse tipo de relação, e ver que temos outros tipos de relação de ordem, que podem ser estrita, total, entre outras. Segue acompanhando.
Confira também:
