Phân loại hay phân loại đối?

Các loại được xem xét với p(x, y, z), một phép toán tam phân đơn, hoạt động như một bộ phân biệt cục bộ hoặc bộ phân biệt đối với các phần tử không thể phân rã trực tiếp. Nếu p(x, y, z) là "toàn cục", thì tất cả các tiểu loại đều có cơ sở hữu hạn. Trong trường hợp tổng quát, một liên tục các tiểu loại không có cơ sở hữu hạn được trình bày. Một hình ảnh lý thuyết đồ thị dẫn đến một loại nhóm kết nối các bán nhóm với không trái và không phải. Đối với loại này, một số vấn đề mở được trình bày.