Dicho de otra manera, no existen los elementos a, b de A, que a este relacionado con b y b este relacionado con a y a y b sean distintos.