Many-valued function