Văn bản này: O-minimal invariants for discrete-time dynamical systems