Cantor–bernstein–schroeder theorem

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

Pronunciation

Categories