Любую структуру на абстрактным (матэматычным) узроўні можна вызначыць у выглядзе (D,R), дзе D — канечнае мноства элементаў, якія могуць быць тыпамі даных (найпрасцейшы выпадак структуры) ці структурамі даных, R — мноства сувязяў паміж элементамі структуры, якое вызначае розныя тыпы структур даных на абстрактным узроўні.