· Suhte R transitiivseks sulundiks nimetatakse minimaalset transitiivset suhet R , mis sisaldab suhet R. · Osaline mitterange järjestussuhe ( ) on refleksiivne, antisümmeetriline ja transitiivne. · Osaline range järjestussuhe ( < ) on antirefleksiivne, antisümmeetriline ja transitiivne. · Lineaarne järjestussuhe - ( a,bA) [ (aEkvalentsisuhe R on refleksiivne, sümmeetriline ja transitiivne. 5 · Elemendi aA ekvivalentsiklass ekvivalentsisuhtes R - K(a) = { b | < a,b > R } Ekvivalentsisuhe genereerib tükelduse P hulgal A. Tükeldus P koosneb ekvivalentsiklassidest Ki , i=1,...,n. P = { K1, K2, ..., Kn }, kus Ki , i=1,...,n; Ki Kj = , i,j=1,...,n, i j; Ki = A.
Suhte R transitiivseks sulundiks nimetatakse minimaalset transitiivset suhet R , mis sisaldab suhet R. Osaline mitterange järjestussuhe ( ) on refleksiivne, antisümmeetriline ja transitiivne. Osaline range järjestussuhe ( < ) on antirefleksiivne, antisümmeetriline ja transitiivne. Lineaarne järjestussuhe - ( a,bA) [ (aEkvalentsisuhe R on refleksiivne, sümmeetriline ja transitiivne. Elemendi aA ekvivalentsiklass ekvivalentsisuhtes R - K(a) = { b | < a,b > R } Ekvivalentsisuhe genereerib tükelduse P hulgal A. Tükeldus P koosneb ekvivalentsiklassidest Ki , i=1,...,n. P = { K1, K2, ..., Kn }, kus Ki , i=1,...,n; Ki Kj = , i,j=1,...,n, i j; Ki = A.