Exists Bijection to a Disjoint Set

Theorem

 * If $$S$$ and $$T$$ are sets, there exists a bijection from $$T$$ onto a set $$T'$$ disjoint from $$S$$.