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:

A={a₁ ,a₂ ,a₃ ,a₄ ,a₅ ,a₆ }

A1={a₂ ,a₃ ,a₄ }

A2={a₁ ,a₅ ,a₆ }

C={c₁ ,c₂ }

D={d₁ ,d₂ ,d₃ ,d₄ }

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