Description: Another way to express the value of the preimage mapping operator. (Contributed by Thierry Arnoux, 19-Jan-2017)