Um banco de dados possui um modelo conceitual cuja descrição é feita pelo diagrama E-R a seguir Admita-se que o estado desse banco de dados seja definido, em parte, pelos seguintes conjuntos: Os elementos desses conjuntos representam instâncias das entidades presentes no diagrama E-R do banco de dados em questão. As relações que completam o estado desse banco de dados, sem que nenhuma regra de cardinalidade ou generalização seja violada, são