If there is a bijection between finite sets , then they have the same number of elements: (). Proof: since is injective, we have since is surjective, then