Aquellos aspectos de las reglas usadas en la especificación formal de los datos que encarnan una representación específica de esos datos.