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

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 --'