Separasjon av en samling av ting, kalt sideelementer objekter, konsepter, fenomener, etc. i sett, kalt kategorier, i henhold til et sett med regler slik at: gitt noe element, sett i som tilhører dette elementet kan fastslås fra regler; og gitt noen sett elementene i dette settet kan bli funnet. Antall elementer kan være begrenset eller uendelig, hvor mange sett kan være begrenset eller uendelig. Sett seg selv kan samles inn større grupperinger som er sett med sett, og disse igjen samlet inn i større gruppering som er sett med sett av settene, etc. de ulike stadier av samlingen er vanligvis gitt særegne navn, for eksempel phylum, klasse, rekkefølge, familie og så videre, eller kan bli regnet som 1ste nivå, andre nivå og så videre. En komplett klassifisering tilordner hvert element til bare ett sett med et bestemt nivå; alle elementer i ett sett ha minst ett felles kjennetegn (som er gitt av reglene); to elementer fra ulike sett (med et bestemt nivå) er forskjellige i minst ett kjennetegn (som angitt av reglene). En delvis klassifisering tilordner hvert element til ett eller flere sett med et bestemt nivå, det vil si, et element kan tilhøre to eller flere sett på samme nivå på samme tid.