zbiór przedmiotów U (np. osób). Zbiór ten jest częściowo uporządkowany przez relację S, która jest przeciwsymetryczna i przechodnia w tym zbiorze, ale nie jest spójna. Można więc w zbiorze U wyróżnić przedmioty, między którymi relacja S nie zachodzi. Między tymi przedmiotami zachodzi natomiast relacja nieodróżnialności Q pod względem S: <br><br> xQy wtedy i tylko wtedy, gdy nie jest tak, że xSy i nie jest tak, że ySx. <br><br> Jeżeli chodzi o relację Q, zakłada się, iż jest ona zwrotna, symetryczna i przechodnia w zbiorze U. Jest więc Q relacją równościową w tym zbiorze. Zachodzi ona między tymi przedmiotami, pomiędzy którymi nie zachodzi wyjściowa relacja S. Jeżeli