many-valued function