set-mapping pair bijection