Duopa rilato

El Vikipedio

En la logiko, duopa rilato estas rilato kiu ĉiam rilatas du elementojn. Ekzemploj el la matematiko estas "esti pli granda ol", "egali" aŭ "esti subaro de"; ekzemploj de la ĉiutaga vivo estas "esti pli aĝa ol" aŭ "esti la filo de". Gravas ke por ĉiu duopo estas difinite ĉu ili rilatas aŭ ne; ne eblas "ioma rilato".

Oni povas formaligi tiun koncepton pere de la arteorio: Duopa rilato super la aroj X1, X2 estas subaro de la kartezia produto X1×X2. Tiun subaron oni ankaŭ nomas grafeo, do laŭ ĉi tiu difino la rilato estas identigita kun sia grafeo. Se R estas rilato, oni kutime skribas R(x1,x2) anstataŭ skribi (x_1,x_2)\in R.