[Отношение Функциональное (Однозначное)]
а- бинарнное (двухместное) отношение R, определенное на некотором мнонжестве и характеризующееся тем, что каждому значению у отноншения xRy соответствует лишь одно-единственное значение х. Примером О. ф. может быть отношение лх отец у