equiv.of_bijective source