# Locally finite order

An order relation on a partially ordered set $(X,{\le})$ in which every interval is finite: for any given $a,b \in X$, there are only finitely many $x \in X$ such that $a \le x \le b$.