الفصل بين مجموعة من الأشياء، تسمى كائنات العناصر والمفاهيم والظواهر، إلخ في مجموعات، تسمى فئات، وفقا لمجموعة من القواعد أن: نظراً للمجموعة في أي عنصر من عناصر، الذي ينتمي إليه هذا العنصر يمكن أن تتقرر من القواعد؛ ونظرا لأي مجموعة، يمكن العثور على العناصر الموجودة في تلك المجموعة. عدد العناصر التي قد تكون محدودة أو لا حصر لها؛ وقد يكون عدد مجموعات محدودة أو لا نهائية. يمكن أن تجمع مجموعات أنفسهم في مجموعات أكبر وهي عبارة عن مجموعات من مجموعات، وتلك التي تم جمعها مرة أخرى إلى تجميع أكبر وهي عبارة عن مجموعات من مجموعات من مجموعات، إلخ مختلف مراحل جمع تمنح عادة أسماء مميزة مثل شعبة، الطبقة، والنظام، والأسرة، وهكذا، أو قد تكون مرقمة حسب المستوى الأول والمستوى الثاني، وهكذا. تصنيف كاملة يعين كل عنصر إلى مجموعة واحدة فقط من مستوى معين؛ وجميع العناصر الموجودة في مجموعة واحدة لها سمة مشتركة واحدة على الأقل (التي تعطي القواعد)؛ عنصرين من مجموعات مختلفة (من مستوى معين) تختلف في خاصية واحدة على الأقل (كما هو محدد بواسطة القواعد). تصنيف جزئي يعين كل عنصر إلى مجموعة واحدة أو أكثر من مستوى معين، أي، عنصر قد تنتمي إلى مجموعات اثنين أو أكثر في نفس المستوى في نفس الوقت.