מודל מתמטי הכולל מבנה לאחסון הנתונים ואת הפעולות שניתן לבצע בנתונים אלה. סוגי נפוצות נתונים מופשט כוללים ערכות, עצי אשפה.