Теорема о равномощных множествах (теорема Кантора-Бернштейна) заключается в следующем утверждении: 14
Если множество A равномощно некоторому подмножеству множества B, а множество B равномощно некоторому подмножеству множества A, то множества A и B равномощны. 14