  Let $A$ be a unital AF-algebra whose Murray-von Neumann order of projections
is a lattice. For any two equivalence classes $[p]$ and $[q]$ of projections we
write $[p]\sqsubseteq [q]$ iff for every primitive ideal $\mathfrak p$ of $A$
either $p/\mathfrak p\preceq q/\mathfrak p\preceq (1- q)/\mathfrak p$ or
$p/\mathfrak p\succeq q/\mathfrak p \succeq (1-q)/\mathfrak p.$ We prove that
$p$ is central iff $[p]$ is $\sqsubseteq$-minimal iff $[p]$ is a characteristic
element in $K_0(A)$. If, in addition, $A$ is liminary, then each extremal state
of $K_0(A)$ is discrete, $K_0(A)$ has general comparability, and $A$ comes
equipped with a centripetal transformation $[p]\mapsto [p]^\Game$ that moves
$p$ towards the center. The number $n(p) $ of $\Game$-steps needed by $[p]$ to
reach the center has the monotonicity property $[p]\sqsubseteq [q]\Rightarrow
n(p)\leq n(q).$ Our proofs combine the $K_0$-theoretic version of Elliott's
classification, the categorical equivalence $\Gamma$ between MV-algebras and
unital $\ell$-groups, and \L o\'s ultraproduct theorem for first-order logic.
