Cota

Sea $A$ un conjunto sobre el que se ha definido una relación de orden, $B$ un subconjunto de $A$ diremos que $a \in A$ es una cota del subconjunto $B$ si cumple $a \Re b_i$ o $a \not\Re b_i$ siendo $b_i$ cualquier elemento de $B$.

Decir que $a \in A$ cumple la relación $a \Re b_i$ es lo mismo que decir que a es mayor o igual que cualquier elemento de $B$ (o menor o igual que cualquier elemento de $B$ según se haya definido la relación de orden).

• Si la cota cumple que es mayor o igual que los $b_i$ se llama cota superior.
• Si la cota cumple que es menor o igual que los $b_i$ se llama cota inferior.