Dersom er en vilkårlig mengde, og er en delmengde av det kartesiske produktet × , så er en binær relasjon i ..