半順序集合が局所有限であるとは、すべての区間が有限集合であることを言う.
局所有限