Имеется текст:
(IMG:https://i70.servimg.com/u/f70/19/62/04/66/sets10.jpg)
Мне не понятно почему используется знак верхнего подчеркивания (выделено красным кругом) для обозначения принадлежности индекса i к числовому ряду 1-k если этот знак используется в языке теории множеств для отрицательных утверждений.
В Вики не нашел ответа, напр.: Форма записи множества
Есть ли какой-нибудь учебник теоретико-множественного языка, но без дебрей, прикладного уровня.