A manifestação concreta de uma abstração, onde um conjunto de operações poderá ser aplicado e que tem um estado capaz de armazenar os efeitos das operações, é denominada