En abstrakt datatype er en mængde af værdier og en tilhørende mængde af operationer på disse værdier