أرسل هذا في رسالة قصيرة: O-minimal invariants for discrete-time dynamical systems