Description: An operation maps to a class to which all values belong, analogous to ffnov . (Contributed by Alexander van der Vekens, 26-May-2017)