Lattice Graph Intro. P1 Prototype, P2 Terminal Model, P3 Bureaucratic Model, P4 Committee Model
Significant labels:
NOTE: All graphs G on N2 satisfy max(x)>max(y) for any edge (x,y). We refer to such graphs as downward. We call the function tD discussed above as the terminal labeling function for D.

Remarks: The terminal lattice-exit theorem is valid if N2 is replaced by Nk , E2 is replaced by Ek , and 22 is replaced by kk (the proof is essentially the same).
Proof of Theorem (terminal lattice-exit) PDF
Proof of Theorem (terminal lattice-exit) GIF
Proof of Theorem (terminal lattice-exit) JPG
(Reference(1) p7) and (Reference(2) pp6-8) give alternative discussions.
Return: Lattice Graph Introduction