Отправить по sms: O-minimal invariants for discrete-time dynamical systems