In this view, any operation that modifies the ADT is modeled as a mathematical function that takes the old state as an argument, and returns the new state as part of the result.
Από αυτή τη σκοπιά, κάθε διαδικασία που μεταβάλλει τον ΑΤΔ μοντελοποιείται σαν μια μαθηματική συνάρτηση που δέχεται σαν όρισμα την παλιά κατάσταση και επιστρέφει την νέα σαν μέρος του αποτελέσματος.