, namely, a lexicographic tuple over V. The number of elements of the tuple is the same as the number of constraints needed in the system being described.
the result is deterministic in the sense that for any input, there is a unique path through the lattice.