Значение математического символа ⊉: Не надмножество и не равно
Символ ⊉ (U+2289) в математике читается как «не является надмножеством и не равно». Он используется в теории множеств, чтобы показать, что первое множество не включает в себя полностью второе, и при этом они не совпадают друг с другом. Внешне это классический знак надмножества с чертой равенства внизу (⊇), который перечёркнут косой линией.
Давай разберёмся на простом примере. Представь, что у тебя есть плейлист с треками (множество A) и у твоего друга тоже есть плейлист (множество B). Если в твоём плейлисте есть абсолютно все песни друга и ещё парочка твоих, то твой плейлист — это надмножество. Но если у друга затесался хотя бы один трек, которого у тебя нет, то всё — твоя музыкальная коллекция больше не включает коллекцию друга целиком. Именно в таких случаях на сцену выходит математический знак ⊉.
Исторически этот оператор вырос из теории множеств, основы которой заложил Георг Кантор в конце XIX века. Чтобы не писать длинные громоздкие фразы словами, математики придумали лаконичные символы. Знак ⊃ (надмножество) произошёл от перевёрнутой на бок буквы «U», а добавление черты снизу и перечёркивания — стандартный для математической логики приём отрицания.
В таблице Unicode символ ⊉ живёт в блоке «Математические операторы» (Mathematical Operators) под кодом U+2289. В HTML-коде страницы его можно вставить с помощью комбинации `⊉`.
Где ты можешь его встретить? Чаще всего — в учебниках по дискретной математике, научных статьях или на доске в универе. В программировании этот символ напрямую не напечатаешь на клавиатуре, поэтому в коде разработчики используют встроенные функции языков (например, методы для работы с `Set` в Python или JavaScript) или логические конструкции вроде `not A.issuperset(B)`.
В соцсетях вроде Telegram, VK или TikTok символ ⊉ — крайне редкий гость. Но если ты учишься на IT-специальности или мехмате, это отличный способ выпендриться в чате однокурсников, скинув элегантное решение задачи текстом вместо кривой фотки из тетради. Иногда любители текстового арта (ASCII-графики) используют такие редкие знаки, чтобы собирать необычные эмотиконы — в правильном контексте ⊉ может сойти за странный прищуренный глаз киборга или элемент футуристического интерфейса.
Как набрать ⊉ на разных устройствах?
• Самый простой способ — скопировать прямо отсюда и вставить туда, куда нужно.
• В Windows (например, в Microsoft Word) набери `2289` и сразу нажми `Alt + X`.
• На Mac используй раскладку Unicode Hex Input: зажми `Option` и набери `2289`.
• В LaTeX для его вывода используется специальная команда `\nsupseteq`.
Если тебе понадобился этот символ, скорее всего, пригодятся и его родственники. Обрати внимание на ⊇ (надмножество или равно — U+2287) — позитивная версия нашего героя. Его зеркальный брат ⊈ (не подмножество и не равно — U+2288) работает в обратную сторону. А если нужно просто сказать «не надмножество» без жёсткого уточнения про равенство, смело бери ⊅ (U+2285).