Cota superior

Em matemática, seja $(X,\preceq )$ um conjunto parcialmente ordenado e $Y\subseteq X$. Temos que $a\in X$ é uma cota superior de $Y$ se $y\preceq a$ para todo $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