A definição de uma classe de definições (concretas), que descreve as características comuns a todas as instâncias da definição abstrata.