有限全順序集合 - 井戸端

有限全順序集合

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