А́лгебра — раздел математики, который можно нестрого охарактеризовать как обобщение и расширение арифметики; в этом разделе числа и другие математические объекты обозначаются буквами и другими символами, что позволяет записывать и исследовать их свойства в самом общем виде. Слово «алгебра» также употребляется в общей алгебре в названиях различных алгебраических систем. В более широком смысле под «алгеброй» понимают раздел математики, посвящённый изучению операций над элементами множеств произвольной природы, обобщающий обычные операции сложения и умножения чисел.
Бие́кция — отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют также взаимно однозначным отображением (соответствием).
Бина́рная, или двуме́стная, опера́ция — математическая операция, принимающая два аргумента и возвращающая один результат.
Веще́ственное число́ — математический объект, возникший из потребности измерения геометрических и физических величин окружающего мира, а также проведения таких вычислительных операций, как извлечение корня, вычисление логарифмов, решение алгебраических уравнений, исследование поведения функций.
Фу́нкция — соответствие между двумя множествами, при котором каждому элементу одного множества соответствует единственный элемент другого.
Аксио́мой вы́бора, англ. аббр. AC называется следующее высказывание теории множеств:
Точная верхняя граница и точная нижняя граница — обобщение понятий максимума и минимума множества соответственно.
Части́чно упоря́доченное мно́жество — математическое понятие, которое формализует интуитивные идеи упорядочения, расположения элементов в определённой последовательности. Неформально, множество частично упорядочено, если указано, какие элементы следуют за какими. В общем случае может оказаться так, что некоторые пары элементов не связаны отношением «следует за».
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Модель Белла — Лападулы — модель контроля и управления доступом, основанная на мандатной модели управления доступом. В модели анализируются условия, при которых невозможно создание информационных потоков от субъектов с более высоким уровнем доступа к субъектам с более низким уровнем доступа.
Отношение предпочтения в теории потребления — это формальное описание способности потребителя сравнивать разные альтернативы. С математической точки зрения любая система предпочтение представляет собой бинарное отношение на множестве допустимых альтернатив.
