Relação de ordem: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
bot: revertidas edições de 105.168.31.111 ( modificação suspeita : -12), para a edição 42266300 de RodrigoAndradet
Etiquetas: Edição via dispositivo móvel Edição via aplic. móvel
Linha 5:
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 (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>:
 
jmmmmmpmjjjkkii==== yle="vkllkkmnimnnuk jl luvvijllll j:-7%;>\forall x\in A \;\; R(x,lpx) </math> <math> \;\;\;\;\;\; <l/math>
===== 1.a Reflexividade: =====
<math style="vertical-align:-7%;>\forall x\in A \;\; R(x,x) </math> <math> \;\;\;\;\;\; </math>j. (ou seja, todo elemento está relacionado consigo mesmo);
 
===== 1.b Antissimetria'': =====