How many functions are there satisfying:
  1. or (or both)?
  2. or (or both)?
  3. and and is injective?
  4. is surjective, but and