" and are in one-to-one correspondence" is synonymous with " and are bijective."
One-to-One Correspondence
See also
Bijective, One-to-OneThis entry contributed by Margherita Barile
Explore with Wolfram|Alpha
Cite this as:
Barile, Margherita. "One-to-One Correspondence." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/One-to-OneCorrespondence.html