Given:
1. a set of units P
2.
a set of labels for those units L
3.
a relation RP over set P
4.
a relation RL over set L
A consistent
labeling f is a mapping f: P -> L
satisfying
if (pi, pj) Î RP, then (f(pi), f(pj)) Î RL
which means that a consistent labeling preserves
relationships.