Neural Contractive Dynamical Systems Definition