Revisão das 00h15min de 27 de maio de 2013 editar Lp.vitor (discussão \| contribs) 283 edições m →‎Definição Formal ← Ver a alteração anterior		Revisão das 00h34min de 28 de maio de 2013 editar desfazer Reporter (discussão \| contribs) Autorrevisores, Reversores 34 850 edições Melhorou muito Ver a alteração posterior →
Linha 1: Em [[matemática]], mais ~~específicamente~~especificamente em [[teoria da ordem]], uma '''pré-ordem''' é uma [[relação binária]] reflexiva e transitiva.▼ ~~{{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. ==Definição ~~Formal~~formal== Seja ''A'' um [[Conjunto (matemática)\|conjunto]] e R uma [[relação binária]] sobre ''A'' (ou seja, R subconjunto de AxA). Então, R é uma pré-ordem sobre A se, e somente se, R é reflexiva e transitiva. Isto é: Linha 86 ⟶ 85: [[Ordem total]] - pré-ordem que é também total e anti-simétrica. [[Lema de Newman]] ==Referências==

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