Formalmente se trata de un modelo matemático para tipos de datos que están definidos por su comportamiento o semántica.