Relacja

Konwers

Zwrotność

Symetryczność

Przechodniość

Spójność

Silnie porządkujące

Słabo porządkujące

Niespójna

Brak

Przeciwzwrotna

Przechodnia

Słabo

Bo istnieją takie

Nie spełnia warunków

A nigdy nie może być

Przeciwsymetryczna

Jeśli A jest podrzędne do nazwy, które można

–

Podrzędność

powinna być

Nadrzędność

podrzędne względem

uporządkować w nowe

Bo jest przeciwzwrotna, siebie, bo każda nazwa Nigdy B nie jest w relacji B, a B jest podrzędne do przeciwzwrotna,

podrzędności do A

przeciwsymetryczna,

C, to zawsze A jest

pary, ale i istnieją

przeciwsymetryczna,

jest sama sobie

przechodnia i niespójna podrzędne do C

takie, których nie

przechodnia i spójna

równoważna

można

(jest niespójna)

Przeciwzwrotna

Przechodnia

A nigdy nie może być

Przeciwsymetryczna

Niespójna

Sła

Jeśli A jest nadrzędne do Brak

bo

Nadrzędność

Podrzędność

podrzędne względem

B, a B jest nadrzędne do siebie, bo każda nazwa Nigdy B nie jest w relacji podrzędności do A

jw.

jw.

jw.

C, to zawsze A jest

jest sama sobie

nadrzędne do C

równoważna

Przechodnia

Zwrotna

Równościowa

Symetryczna

Niespójna

Jeśli A jest równoważne z Brak

Równoważność

Równoważność

A jest zawsze

B, a B jest równoważne z Bo jest zwrotna,

równoważne

B jest zawsze w relacji równoważności do A

jw.

jw.

symetryczna,

względem siebie

C, to zawsze A jest

równoważne z C

przechodnia

Brak

Przeciwzwrotna

Symetryczna

Nieprzechodnia

Niespójna

Brak

Niezależność

Bo nie jest

Niezależność

A nigdy nie jest

Nie można ustalić

niezależne same od

B jest zawsze w relacji przeciwzwrotna,

niezależności do A

jw.

jw.

niezależności A od C

przeciwsymetryczna,

siebie

przechodnia i niespójna Przeciwzwrotna

Przeciwprzechodnia

Niesymetryczna

Niespójna

Brak

Brak

Podprzeciwieństwo

Podprzeciwieństwo

A nigdy nie jest

Nie można ustalić

B nie zawsze jest w relacji podprzeciwne same

podprzeciwieństwa A od podprzeciwieństwa do A jw.

jw.

jw.

sobie

C

Przeciwprzechodnia

Przeciwzwrotna

Symetryczna

Jeśli A jest sprzeczne z B, Niespójna

Brak

Brak

Sprzeczność

Sprzeczność

A nie może być

a C jest sprzeczne z B, to B jest zawsze w relacji A nigdy nie może być

jw.

jw.

jw.

sprzeczne same z sobą

sprzeczności do A

sprzeczne z C (są sobie równoważne)

Niesymetryczna

Przechodnia

Zwrotna

Niespójna

Brak

Brak

Jeśli A wynika logicznie z Wynikanie logiczne

Brak

Jeśli A wynika logicznie z A wynika logicznie

B, to B może wynikać

B, a B z C, to A wynika jw.

jw.

jw.

samo z siebie

logicznie z A, ale

logicznie z C

niekoniecznie

Przeciwzwrotna

Symetryczna

Nieprzechodnia

Niespójna

Brak

Brak

Przeciwieństwo

Przeciwieństwo

A nie może być

B jest zawsze w relacji Nie można ustalić

jw.

jw.

jw.

przeciwne same sobie

przeciwieństwa do A

przeciwieństwa A i C