Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Отношение эквивалентности — бинарное отношение между элементами данного множества, свойства которого сходны со свойствами отношения равенства.
Семанти́ческая сеть — информационная модель предметной области, имеет вид ориентированного графа. Вершины графа соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть: понятия, события, свойства, процессы. Таким образом, семантическая сеть — это один из способов представления знаний.
Реляционная алгебра — замкнутая система операций над отношениями в реляционной модели данных. Операции реляционной алгебры также называют реляционными операциями.
Отношение порядка — бинарное отношение между элементами данного множества, по своим свойствам сходное со свойствами отношения неравенства.
Части́чно упоря́доченное мно́жество — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности. Неформально, множество частично упорядочено, если указано, какие элементы следуют за какими. В общем случае может оказаться так, что некоторые пары элементов не связаны отношением «следует за».
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Отноше́ние — фундаментальное понятие реляционной модели данных, из-за которого модель и называется «реляционной», от англ. relation — «отношение».
Дескрипцио́нная логика — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
Функциона́льная зави́симость — бинарное отношение между подмножествами атрибутов отношения в реляционной базе данных. Концепция функциональной зависимости лежит в основе многих вопросов, связанных с проектированием таких баз данных.
Отношением толерантности на множестве 
называется бинарное отношение, удовлетворяющее свойствам рефлексивности и симметричности, но не обязательно являющееся транзитивным. Таким образом, отношение эквивалентности является частным случаем толерантности.
Отношение предпочтения в теории потребления — это формальное описание способности потребителя сравнивать разные альтернативы. С математической точки зрения любая система предпочтение представляет собой бинарное отношение на множестве допустимых альтернатив.
Циклический порядок — способ упорядочивания объектов таким образом, чтобы последовательное движение по порядку после полного обхода совокупности возвращалось на начальный объект движения; полный порядок, «соединённый концами» в цикл. В отличие от структур, изучаемых в теории порядков, такой порядок не моделируется бинарным отношением, таким как «a < b», например, нельзя сказать, что восток «больше по часовой стрелке», чем запад; вместо этого циклический порядок определяется как тернарное отношение [a, b, c], означающее, что «после a достигается b раньше, чем c». Например, [Июнь, Октябрь, Февраль]. Тернарное отношение 
называется циклическим порядком, если оно является циклическим, асимметричным, транзитивным и полным. Порядок, не обладающий всеми этими свойствами, кроме полноты, называется частичным циклическим порядком.
Недетерминированный конечный автомат — это детерминированный конечный автомат, который не выполняет следующие условия:
- любой его переход единственным образом определяется по текущему состоянию и входному символу
- чтение входного символа требуется для каждого изменения состояния.
