Consider a set $M$. Any set $R$ of ordered pairs of elements from $M$, $R\subset\{(a,b)\mid a,b \in M\}$, is called a (binary) relation on $M$. If $(a,b) \in R$, then we write $a \sim_R b$ or simly $a \sim b$.