Toda vez que temos composição, significa que a parte não existe sem o todo. Toda vez que temos agregação, significa que a parte pode ser compartilhada entre vários objetos.
É um tipo especial de associação onde tenta-se demonstrar que as informações de um objeto (chamado objeto-todo) precisam ser complementados pelas informações contidas em um ou mais objetos de outra classe (chamados objetos-parte); conhecemos como todo/parte.
Composições são blocos de construção críticos de muitas estruturas de dados básicas, incluindo a união rotulada, lista ligada e árvore binária, bem como o objeto utilizado em programação orientada a objetos. Objetos compostos são frequentemente referidos como tendo um relacionamento "tem um".
O (pseudo-)método construtor determina que ações devem ser executadas quando da criação de um objeto. Em Java, o construtor é definido como um método cujo nome deve ser o mesmo nome da classe e sem indicação do tipo de retorno -- nem mesmo void.
– O mundo das formas ou ideias (inteligível): Platão diz que a alma traz consigo desde o seu nascimento um conhecimento prévio, a priori, que lhe permite a identificação do objeto – o chamado conhecimento inato. Tais conhecimentos são as ideias ou formas, que residem no mundo inteligível, fora do tempo e do espaço.