مجموعه دستورالعمل
مجموعه‌های دستورالعمل ممکن است بر مبنای حداکثر تعداد عملوندهایی که به‌طور آشکار در دستورالعمل‌ها مشخص می‌شوند طبقه‌بندی شوند.
رسته مجموعه‌ها
هر مجموعهٔ دو عضوی، به عنوان یک زیر-شئ رسته‌بندی کننده در Set حضور دارد. شئِ توان برای یک مجموعه "A، "توسط مجموعه ی توانی اش داده شده‌است شئ توانی از مجموعه‌های "A" و "B" توسط مجموعهٔ تمام توابع از "A" به "B "داده می‌شود. Set، بنابر این، یک توپوس (و به ویژه بستهٔ دکارتی است).