La definición de una clase de definiciones (concretas), que describe las características comunes a todas las instancias de la definición abstracta.