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