Locally finite partially ordered set