En matemáticas, particularmente en teoría del orden y de conjuntos, el minorante o cota inferior de un subconjunto "S" de un conjunto parcialmente ordenado "P" es un elemento de "P" menor o igual que cualquier elemento de "S".