Por ejemplo, un "poset" es localmente finito si cada intervalo cerrado ["a", "b"] en él es finito.