it isn’t always possible, and cantor’s proof demonstrates that neatly, by giving an algorithm to construct (an infinite number of) counter-examples of non-mappable elements of the larger set.