Description: The value of an image structure's ring multiplication. (Contributed by Mario Carneiro, 23-Feb-2015)