Relação de ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Foram revertidas as edições de 193.137.92.17 (usando Huggle) (3.1.18) |
|||
Linha 3:
== Definições básicas ==
=== Definição 1: Ordem parcial ampla ou não estrita ===
Dado um [[conjunto]] <math style="vertical-align:0%;"> A </math> e uma [[relação binária]] <math style="vertical-align:0%;"> R </math> sobre <math style="vertical-align:0%;"> A </math>: <math style="vertical-align:-17%;"> R \subseteq A \times A </math>, dizemos que <math style="vertical-align:0%;"> R </math> é uma ''relação de ordem
==== 1.a Reflexividade: ====
|