Para representar a bicondicional na relação de conjuntos, o diagrama corresponderá à igualdade dos conjuntos p e q, representando a relação de dependência quanto à igualdade entre os valores dos elementos de p e q: