Set.pair_inj source