  Let $(X,\rho,G)$ be a $G-$action topological system, where $G$ is a countable
infinite discrete amenable group and $X$ a compact metric space. We prove a
variational principle for topological entropy of saturated sets for systems
which have specification and uniform separation properties. As an application,
we compute the topological entropy of level sets and irregular sets.
