Cota superior

Em matemática, seja ( X , ) {\displaystyle (X,\preceq )} um conjunto parcialmente ordenado e Y X {\displaystyle Y\subseteq X} . Temos que a X {\displaystyle a\in X} é uma cota superior de Y {\displaystyle Y} se y a {\displaystyle y\preceq a} para todo y Y {\displaystyle y\in Y} .

Referências

  • Stump, Aaron (2013). Programming Language Foundations (em inglês). [S.l.]: John Wiley & Sons. p. 39. 336 páginas. ISBN 9781118007471 


Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.
  • v
  • d
  • e