1.1. Introducción.
Abstraer: Eliminar lo irrelevante y quedarnos con lo realmente importante.
Abstracción por especificación: Sólo necesitamos conocer qué va a hacer el procedimiento y no cómo funciona. (Encapsulación)
Abstracción por parametrización: Un algoritmo, un tipo, o una variable se definen en base a unos parámetros. (Genericidad)