Relação de ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m WP:BOT: Substituindo sintaxe matemática obsoleta de acordo com mw:Extension:Math/Roadmap |
m |
||
Linha 3:
== Definições básicas ==
=== Definição 1: Ordem parcial ampla ou não estrita ===
Dado um [[conjunto]] <math> A </math> e uma [[relação binária]] <math> R </math> sobre <math> A :</math> <math> R \subseteq A \times A ,</math> dizemos que <math> R </math> é uma ''relação de ordem (parcial) ampla (ou não estrita) sobre <math> A </math>'' se satisfaz as seguintes condições:<ref>[[#Birkhoff1948LatticeTheory|BIRKHOFF (1948), p. 1.]]</ref>
==== 1.a Reflexividade ====
| |||