Si designamos formula_1 la clase de los objetos, formula_2 la clase de las cosas, y formula_3 la clase de los constructos, entonces la cosa formula_4 o el constructo formula_5 es llamado el "objeto" formula_6 si y sólo si