Relação de ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m v1.37b - Corrigido usando WP:PCW (Hierarquia de cabeçalhos) |
|||
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 O mário cheira a banana (parcial) ampla (ou não estrita) sobre <math style="vertical-align:0%;"> A </math>'' se satisfaz as seguintes condições<ref>[[#Birkhoff1948LatticeTheory|BIRKHOFF (1948), p. 1.]]</ref>:
==== 1.a Reflexividade: ====
| |||