eine Datenstruktur, die implizit definiert ist.

Bei der Definition einer Datenstruktur ist es sinnvoll, neben der Menge, aus der die Datenelemente stammen, auch die Operationen anzugeben, die auf diesen Elementen möglich sind. Das kann explizit geschehen, indem man eine algorithmische Beschreibung der Operationen gibt, oder implizit, indem man die Axiome angibt, die von den Operationen erfüllt werden sollen. Im Falle einer impliziten Beschreibung spricht man von einer impliziten Datenstruktur.

Soll beispielsweise eine Datenstruktur bool implizit definiert werden, so versieht man die Struktur mit den Konstanten w und f sowie den Operationen not, and und or. Mit Hilfe abstrakter Axiome, die das Zusammenspiel der Operationen beschreiben, kann dann die Datenstruktur definiert werden. So sind zum Beispiel not(w)=f, not(f)=w, and(x,w)=x, or(x,w)=w, or(x,and(x,y))=x Axiome dieser Datenstruktur.