Oración 1: esto significa que, en programación funcional pura, dos o más expresiones sintácticas idénticas (por ejemplo, dos llamadas a rutinas o dos evaluaciones) siempre devolverán el mismo resultado
Oración 2: se tiene transparencia referencial
Conector: es decir,
Relación: entailment
Género: articles