docoo
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.

--