Pré-ordem: diferenças entre revisões

649 bytes adicionados ,  26 de maio de 2013
sem resumo de edição
m
* Sobre os arcos de um [[Teoria dos grafos|grafo]] orientado (também conhecido por ''digrafo''), a relação ''ser acessível por'' é uma pr[e-ordem. Se o digrafo é acíclico, essa relação vira uma ordem.
* Em um [[anel comutativo]], a relação ''divide'' é uma pré-ordem.
 
== Esquema de temas relacionados ==
{| style="margin:2em;"
|
{| style="margin:4px; border:2px solid Silver"
|
{| style="margin:1em"
|+ [[Teoria da ordem]]
{|
| [[Conjunto bem ordenado|Bem ordenado]]
|
{| style="border-left:5px solid Teal"
|
{|
| [[Ordem total]]
|
{| style="border-left:5px solid Teal"
|
{|
| [[Conjunto parcialmente ordenado|Parcialmente ordenado]]
|
{| style="border-left:5px solid Teal"
|
{|
| Pré-ordenado
|
{| style="border-left:5px solid Teal"
| [[Relação reflexiva]]
|-
| [[Relação transitiva]]
|}
|}
|-
| [[Relação anti-simétrica]]
|}
|}
|-
| [[Relação total]]
|}
|}
|-
| [[Relação bem-fundada]]
|}
|}
|}
|}
|}
 
 
==Ver também==
283

edições