User blog comment:Holomanga/Sets and Dimensions/@comment-25601061-20150419163843

So, a function mapping X to Y is a function that produces elements that are on X and/or Y?