Пособие представляет собой седьмую часть раздела «Основные теоретико-множественные конструкции» учебной дисциплины «Дискретная математика». В нем вводится в рассмотрение и анализируется такое фундаментальное понятие современной математики, как n-местное (в частности, бинарное) отношение на множестве, а также излагается относящийся к нему логический и математический аппарат.