Definition:Bijection

A mapping $$f: S \to T$$ is a bijection or bijective or a one(-to)-one correspondence iff $$f$$ is both a surjection and an injection.