injections vs bijections