| x ∈ X ja y ∈ Y} osajoukkoa R kutsutaan binäärirelaatioksi joukoissa X ja Y. Jos pari (x, y) kuuluu joukkoon R eli (x, y) ∈ R, niin merkitään x R y tai R(x, y) ja sanotaan, että alkio x on relaatiossa R alkion y kanssa.
ˈæks ˈæks ja ˈyː ˈyː ˌosajoukːˈoa ˈær kutsˈutaːn bˌinæːrɪrelˌaːtɪˈoksɪ joukˈoissa ˈæks ja ˈyː. jˈos pˈarɪ ˈæks, ˈyː kˈuːluː jˈoukːoːn ˈær ˈelɪ ˈæks, ˈyː ˈær, nˈiːn merkˈitæːn ˈæks ˈær ˈyː tai ˈær ˈæks, ˈyː ja sanˈotaːn, ˈetːæ alkˈio ˈæks on rˌelaːtɪˈossa ˈær alkˈion ˈyː kˈanssa.