#1. The constant function, taking all elements to the terminal set, isomorphic with {1}.