H ulgal A määratud relats iooni ni meta taks e R ef leks iivs ek s , kui iga a A korral (a,a) R iga element is eendaga paaris A n tiref lek s iivs ek s , kui iga a A korral (a,a) R ei s is alda paare is eendaga S üm m eetrilis ek s , kui iga (a,b) R korral alati ka (b,a) R (a,b) ja (b,a)s ees A n tisü m m eetrilis ek s , kui iga (a,b) R ja (b,a) R korral alati a= b ei tohi olla s ümmee tri lis i paare T ran s itiivs ek s , kui iga (a,b) R j a (b,c) R korral ka (a,c) R R efleks iivne on näiteks samas us relats ioon. D ef: relats ioon i, m is on ref lek s iivn e, s üm m eetrilin e ja tran s itiivn e n im etatak s e ek vivalen ts ik s . S amas us rel ats ioon s uvalis el hulgal A on ka ekvivalents ir elats ioon s ellel hulgal. N äide: O lgu hulgaks A täis arvude hulk j a olgu n pos itiivne täis arv. D efineeri me relats iooni R nii, et ta kehtib kahe täis arvu a j a b vahel paraj as ti s iis kui nende arvude (mõle ma te) jääk jagamis el arvuga n on s ama
J ärgmin e kord 3. Ekvivalentsi ja järjestusrelatsioon (R.Palm järgi) H ulgal A määratud relats iooni ni meta taks e R ef leks iivs ek s , kui iga a A korral (a,a) R A n tiref lek s iivs ek s , kui iga a A korral (a,a) R S üm m eetrilis ek s , kui iga (a,b) R korral alati ka (b,a) R A n tisü m m eetrilis ek s , kui iga (a,b) R ja (b,a) R korral alati a= b T ran s itiivs ek s , kui iga (a,b) R j a (b,c) R korral ka (a,c) R R efleks iivne on näiteks samas us relats ioon. D ef: relats ioon i, m is on ref lek s iivn e, s üm m eetrilin e ja tran s itiivn e n im etatak s e ek vivalen ts ik s . S amas us rel ats ioon s uvalis el hulgal A on ka ekvivalents ir elats ioon s ellel hulgal. N äide: O lgu hulgaks A täis arvude hulk j a olgu n pos itiivne täis arv. D efineeri me relats iooni R nii, et ta kehtib kahe täis arvu a j a b vahel paraj as ti s iis kui nende arvude (mõle ma te) jääk jagamis el arvuga n on s ama
annaabi.ee 
