Терминология в теории множеств

[Anton_Peplov]

Вопрос крохотный и чисто терминологический. Возьмем множество $X$ и $A \subset X$. Есть ли какой-нибудь термин для обозначения того факта, что $X \verb \ A$ конечно? Я для себя говорю, что множество $A$ солидно в $X$ (говорить "прочти $X$" нельзя, этот термин занят в теории меры), но вдруг термин уже есть, а я занимаюсь изобретением лингвистических велосипедов?

[Dan B-Yallay]

https://en.m.wikipedia.org/wiki/Cofiniteness

[Anton_Peplov]

На русский это переводится как "кофинитное"?

[Dan B-Yallay]

По идее должно быть. Но гугл и вики таких словей не знають

[Anton_Peplov]

Спасибо!
UPD. Google-переводчик переводит cofinite как "коконечное". Но Google-поиск такого слова не знает, и я его знать не хочу. Я не курица, говорить "коко". Пусть будет кофинитное.

[Aritaborian]

А хоть бы и «коконечность». Звучит уморительно, но словаки, например, не стесняются ;-)
По запросу «кофинитный» Гугл выдаёт ровно один результат, и речь в той статье идёт, насколько я смог понять, о чём-то другом. По запросу «кофинитность» — пять результатов.

[Dan B-Yallay]

Если не ошибаюсь, Someone хорошо разбирается в теории множеств и может быть знает русскоязычный термин.

[Anton_Peplov]

Кстати, cocountable в английском тоже есть, а косчетного в русском нет.

[arseniiv]

Вместо коконечное можно, очевидно, говорить нечное. В самом деле, почему бы и нет? Бра-кет и ещё какие-то имена получены именно таким способом.

[AlexDem]

(Не удержусь)

Няшное

[Anton_Peplov]

arseniiv

(Оффтоп)

Круть!
Колбаса - дополнение лбасы;
Ковер - дополнение вра;
Контроль - дополнение нтроля;
Ой, остановите меня...

[Aritaborian]

(AlexDem)

А я каким-то образом удержался и таки дотерпел до момента, когда не удержался кто-то другой :-D

[Dmitry Tkachenko]

Anton_Peplov, когда мне на втором курсе читали общую топологию, то на практических занятиях была предоставлена возможность доказать, что $\tau=\{\varnothing\}\cup\{U\subset X\colon X\setminus U\quad \text{конечно}\}$ является топологией на $X.$ И называли нам её "коскінченна", что на русский можно перевести как коконечная. Но в обсуждениях задач на русском языке преподаватель всегда говорил кофинитная (рабочий язык пар --- украинский). Аналогично, $\tau=\{\varnothing\}\cup\{U\subset X\colon X\setminus U\quad \text{не более, чем счетно}\}$ называли "козліченною" (рус. косчетной) топологией на $X.$ В обсуждениях задач на русском языке так и говорили --- косчетная топология.

[arseniiv]

(Цепочка AlexDem.)

AlexDem в сообщении #1068310 писал(а):

Няшное

Да мне вот тоже в голову настойчиво лезет.

[AlexDem]

(Aritaborian)

А я не каюсь :)