Um tipo abstrato de dados pode ser definido matematicamente pelo par (V, O), em que