Locally_finite_poset