Resultado de la búsqueda: definiciones para introducir enunciados