Bijection, injection, and surjection