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