A b s t r a c t. A lattice whose elements are sets of substitutions is defined in this paper. We prove that the lattice is distributive and it has the upper and lower bound.

Back to Main Menu