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

Sem alteração do tamanho ,  29 de maio de 2013
m
(Melhorou muito)
==Exemplos==
* Todo [[espaço topológico]] finito gera uma pré-ordem nos seus pontos, na qual ''x'' ≤ ''y'' se, e somente se, ''x'' pertence a toda vizinhança de ''y''.
* Sobre os arcos de um [[grafo orientado]], a relação ''ser acessível por'' é uma pr[epré-ordem. Se o digrafo é acíclico, essa relação vira uma ordem.
* Em um [[anel comutativo]], a relação ''divide'' é uma pré-ordem.
* Seja <math>M</math> um [[monóide]]. Definimos a relação <math>\le</math> em <math>M</math> como
283

edições