«Has-a» в объектно-ориентированном программировании и проектировании баз данных — взаимосвязь, в которой один объект (часто называемый составляющим объектом) «принадлежит» (является частью или членом) другому объекту (называемому составным объектом) и подчиняется правилам принадлежности.
Множественные Has-a отношения образуют дерево принадлежностей — мерономию, или партономию.
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов, поэтому изначальная форма теории известна как наивная теория множеств. В XX веке теория получила существенное методологическое развитие, были созданы несколько вариантов аксиоматической теории множеств, обеспечивающие универсальный математический инструментарий, в связи с вопросами измеримости множеств тщательно разработана дескриптивная теория множеств.
Знак — соглашение о приписывании чему-либо какого-либо определённого смысла, значения.
Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Мно́жество — одно из ключевых понятий математики, представляющее собой набор, совоку́пность каких-либо объектов — элеме́нтов этого множества. Два множества равны тогда и только тогда, когда содержат в точности одинаковые элементы.
Ифку́иль — искусственный язык философского направления. Обладает крайне сложной грамматикой и большим набором фонем, что делает язык весьма трудным для понимания и практически невозможным для изучения. По словам автора, при создании ифкуиля целью было создать язык, который мог появиться только сознательными усилиями — «идеальный» язык с наивысшими эффективностью, детальностью и точностью, сводя к минимуму двусмысленность, расплывчатость, нелогичность, избыточность и многозначность, которые наполняют естественные языки. В 2023 году Джон Кихада выпустил обновление языка под названием Новый Ифкуиль.
Анне́ксия — в международном праве насильственное присоединение государством всей или части территории другого государства в одностороннем порядке. Согласно современному международному праву, аннексия является одним из видов агрессии и в настоящее время влечёт международно-правовую ответственность.
Поня́тие — отображённое в мышлении единство существенных свойств и связей предметов; мысль, выделяющая и обобщающая предметы (объекты) некоторого класса по общим и в своей совокупности специфическим для них признакам.
Архите́ктор — квалифицированный специалист, который на профессиональной основе осуществляет архитектурное проектирование, включая проектирование зданий, в том числе разработку объёмно-планировочных и интерьерных решений, а также «авторский надзор за строительством архитектурного объекта».
Субкори́чневый ка́рлик или кори́чневый субка́рлик — небесное тело, формировавшееся так же, как и звёзды и коричневые карлики, но с массой, меньшей, чем необходимая масса для запуска термоядерных реакций.
Нечёткая логика — раздел математики, являющийся обобщением классической логики и теории множеств, базирующийся на понятии нечёткого множества, впервые введённого Лотфи Заде в 1965 году как объекта с функцией принадлежности элемента ко множеству, принимающей любые значения на отрезке 
За́падный мир, также известный как За́пад или За́падная цивилиза́ция — понятие в культурологии и политике, а также в обиходной речи, относящееся к определённому кругу наций и государств, чаще всего включающему в себя западную, центральную, северную и частично южную части Европы, Австралию, а также Южную и Северную Америку.
Необходимое условие и достаточное условие — виды условий, логически связанных с некоторым суждением. Различие этих условий используется в логике и математике для обозначения видов связи суждений.
Задача классифика́ции — задача, в которой множество объектов (ситуаций) необходимо разделить некоторым образом на классы, при этом задано конечное множество объектов, для которых известно, к каким классам они относятся (выборка), но классовая принадлежность остальных объектов неизвестна. Для решения задачи требуется построить алгоритм, способный классифицировать произвольный объект из исходного множества, то есть указать, к какому классу он относится.
Именно́й класс — лексико-грамматическая категория существительного, состоящая в распределении имён по группам (классам) в соответствии с некоторыми семантическими признаками при обязательном формальном выражении классной принадлежности имени в структуре предложения. Именной класс вместе с категорией рода образует более общую категорию согласовательных классов. Именные классы отличаются от рода иными основаниями классификации: в именных классах признак дифференциации денотатов по признаку пола либо вовсе отсутствует, либо совмещается с другими признаками, вследствие чего системы именных классов обычно богаче, чем родовые; в более редких случаях род существует как автономная подсистема в пределах одного из именных классов.
Грамма́тика как наука является разделом языкознания (лингвистики), который изучает грамматический строй языка, закономерности построения правильных, осмысленных речевых отрезков на этом языке. Эти закономерности грамматика формулирует в виде общих грамматических правил.
Противоземля́, Антиземля (греч. Ἀντίχθων Антихтон, также Глория, Гор) — гипотетическое космическое тело за Солнцем, постоянно находящееся на противоположной точке орбиты Земли (в точке Лагранжа L3), двигающееся синхронно находясь в орбитальном резонансе 1:1 с Землёй. Первыми гипотезу о её существовании выдвинули пифагорейцы. Согласно современным научным данным, в этой точке нет никаких небесных тел.
Вычислительная геометрия — раздел информатики, в котором рассматриваются алгоритмы для решения геометрических задач.
Дескрипцио́нная логика — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
Ме́диафранши́за, также ме́диафранча́йз — линейка медиапродукции: литературные произведения, фильмы, телепередачи, компьютерные игры и т. п., — связанной персонажами, антуражем и торговой маркой и состоящей из оригинального произведения и его производных. Интеллектуальная собственность на неё может быть лицензирована другим сторонам или партнёрам для дальнейшего выпуска производных работ и/или коммерческой эксплуатации продукции в рамках мерчандайзинга.
Пéтля́ — изогнутый трос. Название слова «петля» в европейских языках заимствовано из топографии, которое в узловязании приобрело 3 значения: первое — серединная часть верёвки, отличаемая от концов; второе — дуга или изгиб на верёвке; третье — петлевой узел.