En matemáticas, particularmente en teoría del orden y de conjuntos, el mayorante o cota superior de un subconjunto "B" de un conjunto parcialmente ordenado "A" es un elemento de "A" mayor o igual que cualquier elemento de "B".