Une méta-classe est la classe d'une classe.

En programmation, une métaclasse se définit comme une classe dont les instances sont elles-mêmes des classes, ceci est une des bases de la programmation orientée objet. Le père des langages orientés objet est le langage Smalltalk, dont la version la plus connue est celle de 1980 qui a la fermeture des classes et des métaclasses suivantes :

L'univers des classes est fermé en raison de l'interdépendance entre la classe métaclasse et la métaclasse classe, qui s'instancient mutuellement.