Определение функции на множестве: теоретические основы