The lattice consistency condition is imposed on the set of diacritics to ensure category unity.
9 the syntactic type X can be viewed as an abbreviation for the morphosyntactic type < X where is the universal upper bound.