Conjunto direcionado

Em matemática, um conjunto direcionado (ou uma pré-ordem direcionada ou um conjunto filtrado) é um conjunto não vazio A junto com uma relação binária reflexiva e transitiva ≤ (isto é, uma pré-ordem), com a propriedade adicional de que todo par de elementos tem uma cota superior.[1] Em outras palavras, para quaisquer a e b em A deve existir algum c em A tal que ac e bc.

Wiki letter w.svg Este artigo é um esboço. Você pode ajudar a Wikipédia expandindo-o. Editor: considere marcar com um esboço mais específico.

Ver tambémEditar

Referências

  1. Kelley, p. 65.

BibliografiaEditar

  • J. L. Kelley (1955), General Topology.
  • Gierz, Hofmann, Keimel, et al. (2003), Continuous Lattices and Domains, Cambridge University Press. ISBN 0521803381.