Relação de ordem: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Revertidas edições por 187.41.172.14 para a última versão por 187.41.164.100 (usando Huggle) |
|||
Linha 127:
== Boa ordem ==
Uma relação de ordem estrita <math style="vertical-align:0%;"> R </math> sobre um conjunto <math style="vertical-align:0%;"> A </math> é denominada uma ''boa ordem'' se e somente se todo subconjunto não vazio de <math style="vertical-align:0%;"> A </math> tem primeiro elemento segundo <math style="vertical-align:0%;"> R </math>. Em símbolos, uma relação <big>"</big><math style="vertical-align:0%;"> < </math><big>"</big> sobre <math style="vertical-align:0%;"> A </math> é uma ''boa ordem'' se e somente se: "Ô disciplinazinha chata --'
* <math style="vertical-align:0%;"> < </math> é [[#2.a Irreflexividade:|irreflexiva]], [[#1.c Transitividade:|transitiva]] e
| |||