Пусть $M$ — множество. Произвольное множество $R\subset\{(a,b)\mid a,b \in M\}$ упорядоченных пар элементов $M$ называется (бинарным) отношением на $M$. Если $(a,b) \in R$, то пишут $a \sim_R b$, или просто $a \sim b$.