قضیهٔ کانتور ــ برنشتاین، یا شِرُدِر ــ برنشتاین، بیانگر این است که اگر X {\displaystyle X} و Y {\displaystyle Y} دو مجموعه باشند ونگاشتی یک به یک از X {\displaystyle X} به Y {\displaystyle Y} و نگاشتی یک به یک از Y {\displaystyle Y} به X {\displaystyle X} موجود باشد، آنگاه X {\displaystyle X} و Y {\displaystyle Y} همتوانند؛ یعنی نگاشتی یک به یک و پو...
