Теорема Шредера-Бернштейна

Мы доказываем теорему Шредера-Бернштейна. Этот результат утверждает, что для любых двух множеств A и B (они не обязательно должны быть конечными или даже счётными!), если существует инъекция из A в B и инъекция из B в A, то можно найти биекцию из A в B. Это можно переформулировать следующим образом: если card(A) меньше или равно card(B), а card(B) меньше или равно card(A), то A и B имеют одинаковую мощность. #mikethemathematician, #profdabkowski, #mikedabkowski