É uma definição abstrata, autônoma e lógica de objetos, operadores e outros
elementos que, juntos, constituem a máquina abstrata com a qual os usuários (desenvolvedores)
interagem e onde pode-se modelar a estrutura e o comportamento dos dados com os objetos e
operadores. A definição apresentada refere-se ao(a):