در یک دسته‌بندی درست، لازم است هر طبقه از مفاهیم نسبت به مفاهیم طبقۀ دیگر رابطۀ «عموم و خصوص مطلق» داشته باشند. همچنین اقسام مختلف یک مفهوم باید نسبت به یکدیگر رابطۀ «تباین» داشته باشند.