Since C {\displaystyle {\mathcal {C}}} is a subset of , its cardinality is also no greater, so the two cardinalities must in fact be equal, by the Cantor–Bernstein–Schröder theorem.
Пошто C је подскуп , њена кардиналност такође није већа, тако да две кардиналности морају у ствари бити једнаке,  Кантор-Бернстеин-Шодердер теорема.