És un concepte fonamental en la lògica moderna. Els elements d’una classe són anomenats membres. Hom diu que dues classes són idèntiques quan tenen els mateixos membres. És anomenada classe universal la que comprèn tots els membres de l'univers del discurs, i classe buida la que no té cap membre. El conjunt de tots els elements de l’univers del discurs que no són membres d’una classe forma el complement d’aquesta classe.
f
Lògica