Objekte, die dieselben Botschaften verstehen, dieselben Merkmale aufweisen und sich nur in der Ausprägung der Merkmale unterscheiden, bilden eine Klasse von Objekten. Eine Klasse legt in gewisser Analogie zum Datentyp einer Variable den Typ eines Objekts fest. Daher wird synonym zum Begriff Klasse auch der Begriff Objekttyp gebraucht.

Genau so, wie man bei einer Variablenvereinbarung zwischen der Variable und ihrem Typ unterscheidet, unterscheidet man ein Exemplar von seiner Klasse. Ein Objekt ist ein Exemplar seiner Klasse, mit dem man konkret arbeiten kann. So könnte man zu der Klasse »Auto« die Exemplare »Peters Käfer« oder »Juttas Ente« definieren. Exemplare werden von einer Klasse erzeugt.