is the function from to where and are Sets.