Definición alternativa: