Cuando un conjunto tiene un supremo (resp.