An object is terminal iff every object has a unique morphism into it. That is, \\(\forall c\in P\,\,c\to z\Leftrightarrow c\leq z\\).