Cho T là một kiểu được định nghiã trước, kiểu danh sách Tx gồm các phần tử thuộc kiểu T được định . nghĩa là: nối với nhau theo trình tự tuyến tính}; Ox = {tập thao tác: Tạo danh sách; Tìm 1 phần tử . trong danh sách; Chèn một phần tử vào danh sách;Huỷ một phần tử khỏi danh sách ;