Source: wikibot/locally-finite-poset
= Locally finite poset
{wiki=Locally_finite_poset}
A **locally finite poset** (partially ordered set) is a specific type of poset characterized by a particular property regarding its elements and their relationships. In more formal terms, a poset \\( P \\) is said to be **locally finite** if for every element \\( p \\in P \\), the set of elements that are comparable to \\( p \\) (either less than or greater than \\( p \\)) is finite.