One-to-one and onto functions