مجموعه دستورالعمل
مجموعه‌های دستورالعمل ممکن است بر مبنای حداکثر تعداد عملوندهایی که به‌طور آشکار در دستورالعمل‌ها مشخص می‌شوند طبقه‌بندی شوند.
مجموعه (نوع داده انتزاعی)
در نظریه‌ٔ نوع‌، مجموعه‌ها به طور کلی با تابع مشخصه‌ی خود مشخص می شوند. بنابراین، مجموعه‌ای از مقادیر از نوع formula_1 می‌تواند با formula_2 یا formula_3 نشان داده شود. (می‌توان زیرگروه‌ها و زیرمجموعه‌ها را با مدل سازی کرد و کلاس‌های هم‌ارزی می‌توان با ها جایگزین کرد.) تابع مشخصه‌ی formula_4 مربوط به مجموعه‌ی formula_5 به این شکل تعریف می‌شود: