1. identity etc.
2. (S={0,1}, f=-identity) etc.