This paper presents a Lyapunov formulation of the cyclic-small-gain theorem for dynamical networks composed of discrete-time input-to-state stable (ISS) subsystems. ISS-Lyapunov functions for dynamical networks satisfying the cyclic-small-gain condition are constructed from the ISS-Lyapunov functions of the subsystems.