The inverse of a binary relation R, denoted as R-1, is the set of all ordered pairs (y,x) such that (x,y) is an element of R.