1. This one is obviously the surjective function going from S --> 1
2. The obvious answer is the bijective function going from S <--> S. But for some reason, the absurd function 0 --> S also seems like it can create total discrete partitions although it isn't function at all. Am I crazy or mistaken?