Предположение о том, что любое бесконечное подмножество континуума является либо счётным, либо континуальным.