Es una unidad abstracta usada en programación que permite separar los diferentes elementos de un programa, simplificando así su elaboración, depuración y futuras mejoras