Entonces, la definición