Abstract The tools of lattice theory are applied to readdress the static state feedback linearization problem for discrete-time nonlinear control systems. Unlike the earlier results that are based on differential geometry, the new tools are also applicable for nonsmooth systems. In case of analytic systems, close connections are established between the new results and those based on differential one-forms. The Mathematica functions have been developed that implement the algorithms/methods from this paper.