Si definimos