| Czech |
| has gloss | ces: Definice Izolovaný ordinál je ordinální číslo, které má předchůdce nebo je rovno prázdné množině. Formálněji: Ordinální číslo \alpha \,\! je izolované, pokud \alpha = 0 \vee (\exist \beta \isin On)( \beta \cup \ \beta \} = \alpha ) On zde označuje třídu všech ordinálních čísel. |
| lexicalization | ces: izolovaný ordinál |
| German |
| has gloss | deu: In der Mathematik werden durch die Begriffe Nachfolger und Vorgänger die gedanklichen Konzepte der „Abstammung oder Amtsnachfolge“ und des „Zählens“ formalisiert und verallgemeinert. |
| lexicalization | deu: Nachfolger |
| French |
| has gloss | fra: En théorie des ensembles, le successeur dun ordinal α, noté α + 1, est lordinal qui suit immédiatement α, cest-à-dire le plus petit ordinal strictement supérieur à α. Dans la définition des ordinaux de von Neumann lordinal successeur de α est α +1 = α ∪ α}. Un ordinal qui est successeur dun autre ordinal est dit ordinal successeur. Un ordinal non nul qui nest pas successeur est dit ordinal limite. |
| lexicalization | fra: ordinal successeur |
| Korean |
| has gloss | kor: 수학의 집합론에서 따름서수(successor ordinal)는 어느 서수의 바로 다음 수인 서수를 말한다. 가장 일반적으로 사용되는 폰 노이만식 서수의 정의에서, 임의의 서수 α에 대해 그 바로 다음 수 S(α)를 다음과 같이 정의한다: |
| lexicalization | kor: 따름서수 |
| Polish |
| has gloss | pol: Następnik liczby porządkowej – podstawowa operacja przeprowadzana na liczbach porządkowych. Najbardziej znanym jej zastosowaniem jest konstrukcja zbiorów induktywnych, np. liczb naturalnych w konstrukcji von Neumanna. |
| lexicalization | pol: Następnik liczby porządkowej |
| Slovak |
| has gloss | slk: Definícia Izolovaný ordinál je ordinálne číslo, ktoré má predchodcu alebo je rovný prázdnej množine. Formálnejšie: Ordinálne číslo \alpha \,\! je izolované, ak \alpha = 0 \vee (\exist \beta \isin On)( \beta \cup \ \beta \} = \alpha ) On tu označuje triedu všetkých ordinálnych čísel. |
| lexicalization | slk: izolovaný ordinál |
| Chinese |
| has gloss | zho: 定义序数时, 它有一个基本的运算是后继运算 S 来得到下一个更高的序数. 如果使用冯·诺伊曼序数(用于集合论的标准序数)表示，对于任何一个序数我们可以得到, |
| lexicalization | zho: 后继序数 |
