Cantor–Bernstein–Schroeder theorem

theorem that, if there exist injective functions in both directions between two sets, then there exists a bijection between them