Сборник с математически доказателства/Чернова8

В този речник се добавят единствено атрибути (прилагателни имена). Математическият термин се изписва в курсив. За всяко прилагателно се отделят най-много две-три изречения. Когато са необходими по-обстойни разяснения, в скоби се поставя линк към основната статия.

А — Б — В — Г — Д — Е — Ж — З — И — Й — К — Л — М — Н — О — П — Р — С — Т — У — Ф — Х — Ц — Ч — Ш — Щ — Ъ — Ю — Я

---

А

антисиметричен

• Една релация $R$ се нарича антисиметрична, ако $\!^{\forall }$$x$$\!^{\forall }$$y$$((x,y)$ $\!^{\in }$ $R$ $\land$ $(y,x)$ $\!^{\in }$ $R$ $\Rightarrow$ $x=y)$.

Д

добре нареден

• Линейно наредено множество (клас) се нарича добре наредено, ако всяко негово непразно подмножество има най-малък елемент.

добре фундиран

• Частично наредено множество се нарича добре фундирано, ако всяко негово непразно подмножество има минимален елемент.

К

квазинареден

• Едно множество (клас) $X$ се нарича квазинаредено, ако върху него е зададена рефлексивна транзитивна релация $R$ $\!^{\subseteq }$ $X$ $\times$ $X$.

Л

линейно нареден

• Едно частично наредено множество (клас) $(X,$$\!^{\leq }$$)$ се нарича линейно наредено, ако за всеки два различни елемента $a$ $\!^{\in }$ $X$ и $b$ $\!^{\in }$ $X$ или $a$ $\!^{\leq }$ $b$ или $b$ $\!^{\leq }$ $a$.

М

минимален

• Елемент $x$ на частично наредено множество се нарича минимален, ако множеството не съдържа елементи по-малки от $x$.

Н

насочен

• Едно квазинаредено множество (клас) $(X,$$\!^{\leq }$$)$ се нарича насочено, ако $\!^{\forall }$$x$ $\!^{\in }$ $X$ $\!^{\forall }$$y$ $\!^{\in }$ $X$ $\!^{\exists }$ $z$ $\!^{\in }$ $X$$(x$ $\!^{\leq }$ $y$ $\land$ $x$ $\!^{\leq }$ $z)$.

Р

рефлексивен

• Една релация $R$ $\!^{\subseteq }$ $X$ $\times$ $X$ се нарича рефлексивна, ако $\!^{\forall }$$x$ $\!^{\in }$ $X$ $((x,x)$ $\!^{\in }$ $R)$.

Т

транзитивен

• Една релация $R$ се нарича транзитивна, ако $\!^{\forall }$$x$$\!^{\forall }$$y$$\!^{\forall }$$z$$((x,y)$ $\!^{\in }$ $R$ $\land$ $(y,z)$ $\!^{\in }$ $R$ $\Rightarrow$ $(x,z)$ $\!^{\in }$ $R)$.

Ч

частично нареден

• Едно множество (клас) $X$ се нарича частично наредено, ако върху него е зададена рефлексивна (или ирефлексивна) транзитивна антисиметрична релация $R$ $\!^{\subseteq }$ $X$ $\times$ $X$.

Я

---

А — Б — В — Г — Д — Е — Ж — З — И — Й — К — Л — М — Н — О — П — Р — С — Т — У — Ф — Х — Ц — Ч — Ш — Щ — Ъ — Ю — Я