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

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

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

---

А

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

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

Д

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

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

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

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

К

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

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

Л

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

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

М

минимален

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

Н

насочен

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

Р

рефлексивен

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

Т

транзитивен

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

Ч

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

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

Я

---

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