For semantics in the traditional style, full abstraction may be understood roughly as the requirement that "operational equivalence coincides with denotational equality".
Όσον αφορά τη σημασιολογία στο κλασικό στυλ, η πλήρης αφαίρεση μπορεί να θεωρηθεί περίπου ως η απαίτηση ότι "η λειτουργική ισοδυναμία ταυτίζεται με τη δηλωτική ισότητα".