Num diagrama entidade-relacionamentos, duas classes são modeladas: TERMO e CONDIÇÃO, no qual essa última entidade (condição) é fraca com relação a TERMO. As cardinalidades mínima e máxima foram especificadas da seguinte forma: (0,N) de TERMO para CONDIÇÃO, e (1,1) de CONDIÇÃO para TERMO.
A partir dessa situação, uma correta inferência semântica é a de que uma instância de