Seja E um conjunto ordenado e F um subconjunto de E, um majorante/minorante de F é um elemento de E tal que todos os elementos de F sejam menores/maiores que esse elemento de E. Wikipedia

Em Matemática especialmente em Teoria da ordem, o limitante superior de um Subconjunto de um Conjunto parcialmente ordenado é um elemento de K que é maior ou igual de cada elemento de S. O termo limitante inferior é definido dubiamente como um elemento de K que é menor ou igual de cada elemento de S. Um conjunto com o limite superior é dito limitado por cima por aquele limite, um conjunto com um limite inferior é dito limitado inferiormente para conjuntos que tem limites superior. Wikipedia