Em programação orientada a objetos, uma classe que não pode ser instanciada e que possui métodos declarados sem implementação, mas que pode ter subclasses que implementam esses métodos, é denominada