El tipo abstracto de una aplicación, que define las características comunes de una clase de aplicaciones.