始順序数
始順序数（しじゅんじょすう、英: initial ordinal）または始数（しすう、initial）とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(Ｘ)とは集合Ｘの濃度を表す) 。 特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。
始順序数（しじゅんじょすう、英: initial ordinal）または始数（しすう、initial）とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(Ｘ)とは集合Ｘの濃度を表す) 。 特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。
始順序数（しじゅんじょすう、英: initial ordinal）または始数（しすう、initial）とは、任意の順序数βに対してβ<α⇒card(β)<card(α)を満たす順序数αの事である (ここでcard(Ｘ)とは集合Ｘの濃度を表す) 。 特に、濃度mの始順序数は、この定義により「濃度mの順序数のうち最小の順序数」となることからこのように呼ばれている (むしろこちらを定義とすることもある) 。
出典: Wikipedia「始順序数」 · CC BY-SA 4.0
この記事を共有: X · Bluesky