Em um modelo de entidade e relacionamento, consideremos A uma entidade e K um auto-relacionamento de A. Do ponto de vista semântico, A é um conjunto, e K, um conjunto de pares ordenados cujos elementos pertencem a A. Se A representa o conjunto de cidadãos de um país onde a poligamia é ilegal e K representa a relação casamento entre cidadãos deste país, podemos dizer que K é um relacionamento que se enquadraria no tipo geral: