Feita a ressalva de que a associação "P - TP - I" tem que ser do tipo ternária, ou seja, tem que relacionar 3 entidades, vamos dar um passo atrás na complexidade dessa representação. Isso será feito para que possamos explicar a lógica da representação de uma associação no conceito de teoria de conjuntos.