Třída je termín používaný v teorii množin k označení libovolných souborů množin , které mají nějakou konkrétní vlastnost nebo vlastnost. Přesnější definice třídy závisí na volbě počátečního systému axiomů. V systému Zermelo-Fraenkelových axiomů je definice třídy neformální, zatímco jiné systémy, jako je von Neumann-Bernays-Gödelův systém axiomů , axiomatizují definici „správné třídy“ jako rodinu, která nemůže být členem jiné rodiny.
Třída, která není množinou (jak je neformálně definována v ZFC ) se nazývá vlastní třída . Zejména třída všech množin a třída pořadových čísel jsou vlastní třídy.
Mimo teorii množin je slovo „třída“ někdy synonymem slova „množina“ (například třída ekvivalence ). Většina odkazů na slovo „třída“ v literatuře 19. století a dřívější literatuře ve skutečnosti odkazuje na soubory.
Paradoxy naivní teorie množin mají tendenci používat protichůdné tvrzení „všechny třídy jsou množiny“. Přesněji řečeno, tyto paradoxy poskytují důkaz, že některé třídy jsou vlastní třídy. Například z Russellova paradoxu vyplývá, že třída všech množin není množinou, a z Burali-Fortiho paradoxu vyplývá , že třída všech řadových čísel je vlastní.