Мне не понятно почему используется знак верхнего подчеркивания (выделено красным кругом) для обозначения принадлежности индекса i к числовому ряду 1-k если этот знак используется в языке теории множеств для отрицательных утверждений.
В Вики не нашел ответа, напр.: Форма записи множества
Есть ли какой-нибудь учебник теоретико-множественного языка, но без дебрей, прикладного уровня.