Абстра́кция — процесс отвлечения (абстрагирования) от тех или иных характеристик объекта для их избирательного анализа; при этом наблюдаемый объект замещается его идеализированным теоретическим образом — абстрактным объектом. Абстракции являются универсальным методом научного познания, они необходимы для формирования понятий, узнавания и классификации объектов исследования на всех уровнях формирования знаний.
Отношение эквивалентности — бинарное отношение между элементами данного множества, свойства которого сходны со свойствами отношения равенства.

Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:

Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Толера́нтность может означать:
- Толерантность в социологии — терпимость к иному мировоззрению, образу жизни, поведению и обычаям.
- Иммунологическая толерантность — иммунологическое состояние организма, при котором он не способен синтезировать антитела в ответ на введение определённого антигена при сохранении иммунной реактивности к другим антигенам.
- Экологическая толерантность — способность организмов жить и развиваться в широком диапазоне условий окружающей среды.
- Толерантность в фармакологии, иммунологии и наркологии — привыкание организма.
- Толерантность в математике — рефлексивное, симметричное, но не обязательно транзитивное бинарное отношение.
- Толерантность переменной — термин регрессионного анализа.
- Инженерная толерантность — допуск, разность между наибольшим и наименьшим предельными значениями, которая задаётся на геометрические размеры деталей, механические, физические и химические свойства.
- Толерантность в биохимии — способность биологических организмов адаптироваться к ядам.
Отношение порядка — бинарное отношение между элементами данного множества, по своим свойствам сходное со свойствами отношения неравенства.
Части́чно упоря́доченное мно́жество — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности. Неформально, множество частично упорядочено, если указано, какие элементы следуют за какими. В общем случае может оказаться так, что некоторые пары элементов не связаны отношением «следует за».
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Транзитивное замыкание в теории множеств — это операция на бинарных отношениях. Транзитивное замыкание бинарного отношения R на множестве X есть наименьшее транзитивное отношение на множестве X, включающее R.

Юни́р Абду́ллович Урманцев (1931—2016) — советский и российский философ, доктор философских наук, кандидат биологических наук, профессор, действительный член РАЕН и МАИ. Автор варианта общей теории систем, известного под аббревиатурой ОТСУ.
Отношение предпочтения в теории потребления — это формальное описание способности потребителя сравнивать разные альтернативы. С математической точки зрения любая система предпочтение представляет собой бинарное отношение на множестве допустимых альтернатив.

Симметрия встречается не только в геометрии, но и в других областях математики. Симметрия является видом инвариантности, свойством неизменности при некоторых преобразованиях.
Тождество неразличимых — это онтологический принцип, который утверждает, что не может быть раздельных объектов или сущностей, которые имеют общие свойства. То есть сущности «x» и «y» идентичны, если каждый предикат, которым обладает x, также принадлежит y, и наоборот: предполагать две неразличимые вещи — значит предполагать одно и то же под двумя именами. Тождество утверждает, что никакие две разные вещи не могут быть совершенно одинаковыми; оно предназначено в качестве метафизического принципа, а не в качестве принципа естествознания. Связанный с этим принцип — неразличимость идентичностей, обсуждается ниже.