Tag browsing: Cantor–Bernstein–Schroeder theorem