Así pues definimos: