Một kiểu dữ liệu mà chỉ có các thuộc tính của các dữ liệu và các hoạt động được thực hiện trên các dữ liệu được quy định, mà không có mối quan tâm như thế nào dữ liệu sẽ được đại diện hoặc làm thế nào các hoạt động sẽ được thực hiện.