Em um modelo de entidade e relacionamento, consideremos B uma entidade e F um auto-relacionamento
Em um modelo de entidade e relacionamento, consideremos B uma entidade e F um auto-relacionamento de B. Do ponto de vista semântico, B é um conjunto, e F, um conjunto de pares ordenados cujos elementos pertencem a B. Se B representa o conjunto de alunos de uma em que a matrícula em mais de um curso é ilegal e F representa a relação de alunos matriculados desta instituição, pode-se afirmar que F é um relacionamento que se enquadraria no tipo geral:
