Un conjunto parcialmente ordenado es "localmente finito" cuando cada intervalo cerrado ["a", "b"] es finito.