generated at
有限全順序集合
台集合が有限集合である全順序集合