Notemos, además, que si aplicamos la definición con