Lim-inf convergence in partially ordered sets ✩