We study expansive dynamical systems in the setting of distributive lattices and their automorphisms, usual notion expansiveness for a homeomorphism compact metric space being particular case when lattice is topology phase ordered by inclusion automorphism one induced homeomorphism, mapping open sets to sets. prove this context generalizations Mañé's Theorem Utz's about finite dimensionality an...