En partition, klassedeling eller klasseinddeling af en mængde X er en familie af parvist disjunkte, ikke-tomme delmængder af X, der tilsammen udgør hele X. Med andre ord: Lad være en familie af mængder, så for alle i en indeksmængde . Nu er en partition af , hvis for alle , hvor , .
Kategori:Mængdelære