Anfonwch hwn fel neges destun: O-minimal invariants for discrete-time dynamical systems