En matemáticas, particularmente en teoría del orden y de conjuntos, un 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.