(C,  ,  ) es una clase jerárquicamente bien formada M Es un conjunto bien formado de métodos para (C,  ,  ) G Es un grupo de nombres disjuntos ...

(C,  ,  ) es una clase jerárquicamente bien formada M Es un conjunto bien formado de métodos para (C,  ,  ) G Es un grupo de nombres disjuntos de C a partir de lo cual se pude decir que una instancia del esquema es una tupla de grado 4: I = (, , , ), donde:  es un oid único  mapea cada oid a un valor correcto de tipos  asocia a cada nombre en G de tipo () un valor en el dominio de   asigna semántica a los métodos en concordancia con M.