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

Conteúdo apagado Conteúdo adicionado
Lp.vitor (discussão | contribs)
m
Lp.vitor (discussão | contribs)
m
Linha 1:
{{Sobre|Relação Binária}}
 
{{ER|20|2=[[Usuário(a):Reporter|Reporter]] ([[Usuário(a) Discussão:Reporter|discussão]]) 21h51min de 26 de maio de 2013 (UTC)|3=A WP [[WP:DIC|não é um dicionário]].}}
Em [[matemática]], mais específicamente em [[teoria da ordem]], uma ''pré-ordem'' é uma [[relação binária]] reflexiva e transitiva.
Toda [[ordem parcial]] ou [[relação de equivalência]] é também uma pré-ordem.
 
Para toda pré-ordem há um [[grafo diretoorientado]] relacionado, com elementos do conjunto de vértices e com a relação de ordem dos pares de elementos correspondendo à direção dos arcos.
 
==Definição Formal==