Fita superior

S'anomena fita superior d'un subconjunt $\mathbb{X}$ inclòs en un conjunt $\mathbb{K}$ amb una relació d'ordre a tot element $s$ que compleixi el següent:

$s \geq x$   $\forall x \in \mathbb{X}$