Definición de un tipo de datos en razón de las operaciones que se les pueden aplicar, con el requisito de que los valores de tales objetos sólo se pueden modificar mediante el uso de tales operaciones.