Širok raspon relacija na primjeru skupova popraćen je velikim brojem koncepata, počevši od njihovih definicija do analitičke analize paradoksa. Raznolikost koncepta o kojem se raspravlja u članku o setu je beskonačna. Iako, kada se govori o dualnim tipovima, to znači binarne odnose između nekoliko vrijednosti. I između objekata ili iskaza.
U pravilu se binarni odnosi označavaju simbolom R, odnosno ako je xRx za bilo koju vrijednost x iz polja R, takvo svojstvo se naziva refleksivno, u kojem su x i x prihvaćeni objekti mišljenja, a R služi kao znak da li ili neki drugi oblik odnosa između pojedinaca. Istodobno, ako izrazite xRy® ili yRx, onda to ukazuje na stanje simetrije, gdje je ® implikacijski znak sličan uniji "ako … onda … ". I, konačno, dekodiranje natpis (xRy Ùy Rz) ®xRz govori o prijelaznom odnosu, a znak Ù je veznik.
Binarna relacija koja je i refleksivna, simetrična i tranzitivna naziva se odnosom ekvivalencije. Relacija f je funkcija, a iz Î f i Î f slijedi jednakost y=z. Jednostavna binarna funkcija može se lako primijenitina dva jednostavna argumenta određenim redoslijedom, i samo u ovom slučaju daje mu značenje usmjereno na ova dva izraza uzetih u određenom slučaju.
Treba reći da f preslikava x na y,
ako je f funkcija s rasponom x i rasponom y. Međutim, kada f ekstrapolira x na y, a y Í z, to uzrokuje da f prikazuje x u z. Jednostavan primjer: ako je f(x)=2x istinit za bilo koji cijeli broj x, tada se kaže da f preslikava predpisani skup svih poznatih cijelih brojeva u skup istih cijelih brojeva, ali ovaj put parnih brojeva. Kao što je gore spomenuto, binarni odnosi koji su i refleksivni, simetrični i tranzitivni su odnosi ekvivalencije.
Na temelju gore navedenog, odnosi ekvivalencije binarnih odnosa određuju se svojstvima:
- refleksivnost - omjer (M ~ N);
- simetrije - ako je jednakost M ~ N, tada će biti N ~ M;
- tranzitivnost - ako su dvije jednakosti M ~ N i N ~ P, onda kao rezultat M ~ P.
Razmotrimo deklarirana svojstva binarnih odnosa detaljnije. Refleksivnost je jedna od karakteristika određenih veza, gdje je svaki element skupa koji se proučava u datoj jednakosti sam sa sobom. Na primjer, između brojeva a=c i a³ c postoje refleksivne veze, jer uvijek a=a, c=c, a³ a, c³ c. Istovremeno, relacija nejednakosti a>c je antirefleksivna zbog nemogućnosti postojanja nejednakosti a>a. Aksiom ovog svojstva kodiran je znakovima: aRc®aRa Ù cRc, ovdje simbol ® znači riječ "uključuje" (ili "implicira"), a znak Ù - je spoj "i" (ili veznik). Iz ove tvrdnje slijedi da ako je sud aRc istinit, izrazi aRa i cRc također su istiniti.
Simetrija podrazumijeva prisutnost odnosa čak i ako se mentalni objekti izmjenjuju, odnosno, kod simetričnog odnosa, preuređenje objekata ne dovodi do transformacije tipa "binarni odnosi". Na primjer, odnos jednakosti a=c je simetričan zbog ekvivalencije odnosa c=a; prijedlog a¹c je također isti, budući da odgovara vezi s¹a.
Tranzitivni skup je svojstvo koje zadovoljava sljedeće zahtjeve: y n x, z n y ® z n x, gdje je ® znak koji zamjenjuje riječi: "ako …, onda …". Formula se verbalno čita na sljedeći način: "Ako y ovisi o x, z pripada y, onda z također ovisi o x".
