Bijection, injection and surjection function