В този речник се добавят единствено атрибути (прилагателни имена). Математическият термин се изписва в курсив. За всяко прилагателно се отделят най-много две-три изречения. Когато са необходими по-обстойни разяснения, в скоби се поставя линк към основната статия.
А — Б — В — Г — Д — Е — Ж —
З — И — Й — К — Л — М — Н —
О — П — Р — С — Т — У — Ф —
Х — Ц — Ч — Ш — Щ — Ъ — Ю —
Я
Една релация
R
{\displaystyle R}
антисиметрична , ако
∀
{\displaystyle \!^{\forall }}
x
{\displaystyle x}
∀
{\displaystyle \!^{\forall }}
y
{\displaystyle y}
(
(
x
,
y
)
{\displaystyle ((x,y)}
∈
{\displaystyle \!^{\in }}
R
{\displaystyle R}
∧
{\displaystyle \land }
(
y
,
x
)
{\displaystyle (y,x)}
∈
{\displaystyle \!^{\in }}
R
{\displaystyle R}
⇒
{\displaystyle \Rightarrow }
x
=
y
)
{\displaystyle x=y)}
Линейно наредено множество (клас) се нарича добре наредено , ако всяко негово непразно подмножество има най-малък елемент.Частично наредено множество се нарича добре фундирано , ако всяко негово непразно подмножество има минимален елемент.
Едно множество (клас)
X
{\displaystyle X}
квазинаредено , ако върху него е зададена рефлексивна транзитивна релация
R
{\displaystyle R}
⊆
{\displaystyle \!^{\subseteq }}
X
{\displaystyle X}
×
{\displaystyle \times }
X
{\displaystyle X}
Едно частично наредено множество (клас)
(
X
,
{\displaystyle (X,}
≤
{\displaystyle \!^{\leq }}
)
{\displaystyle )}
линейно наредено , ако за всеки два различни елемента
a
{\displaystyle a}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
b
{\displaystyle b}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
a
{\displaystyle a}
≤
{\displaystyle \!^{\leq }}
b
{\displaystyle b}
b
{\displaystyle b}
≤
{\displaystyle \!^{\leq }}
a
{\displaystyle a}
Елемент
x
{\displaystyle x}
минимален , ако множеството не съдържа елементи по-малки от
x
{\displaystyle x}
Едно квазинаредено множество (клас)
(
X
,
{\displaystyle (X,}
≤
{\displaystyle \!^{\leq }}
)
{\displaystyle )}
насочено , ако
∀
{\displaystyle \!^{\forall }}
x
{\displaystyle x}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
∀
{\displaystyle \!^{\forall }}
y
{\displaystyle y}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
∃
{\displaystyle \!^{\exists }}
z
{\displaystyle z}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
(
x
{\displaystyle (x}
≤
{\displaystyle \!^{\leq }}
y
{\displaystyle y}
∧
{\displaystyle \land }
x
{\displaystyle x}
≤
{\displaystyle \!^{\leq }}
z
)
{\displaystyle z)}
Една релация
R
{\displaystyle R}
⊆
{\displaystyle \!^{\subseteq }}
X
{\displaystyle X}
×
{\displaystyle \times }
X
{\displaystyle X}
рефлексивна , ако
∀
{\displaystyle \!^{\forall }}
x
{\displaystyle x}
∈
{\displaystyle \!^{\in }}
X
{\displaystyle X}
(
(
x
,
x
)
{\displaystyle ((x,x)}
∈
{\displaystyle \!^{\in }}
R
)
{\displaystyle R)}
Една релация
R
{\displaystyle R}
транзитивна , ако
∀
{\displaystyle \!^{\forall }}
x
{\displaystyle x}
∀
{\displaystyle \!^{\forall }}
y
{\displaystyle y}
∀
{\displaystyle \!^{\forall }}
z
{\displaystyle z}
(
(
x
,
y
)
{\displaystyle ((x,y)}
∈
{\displaystyle \!^{\in }}
R
{\displaystyle R}
∧
{\displaystyle \land }
(
y
,
z
)
{\displaystyle (y,z)}
∈
{\displaystyle \!^{\in }}
R
{\displaystyle R}
⇒
{\displaystyle \Rightarrow }
(
x
,
z
)
{\displaystyle (x,z)}
∈
{\displaystyle \!^{\in }}
R
)
{\displaystyle R)}
Едно множество (клас)
X
{\displaystyle X}
частично наредено , ако върху него е зададена рефлексивна (или ирефлексивна) транзитивна антисиметрична релация
R
{\displaystyle R}
⊆
{\displaystyle \!^{\subseteq }}
X
{\displaystyle X}
×
{\displaystyle \times }
X
{\displaystyle X}
