7:01 AM
したがって有限半順序集合は閉路を持たない有限な単純有向グラフと自然に同一視できる。
7:01 AM
これに対応してそう・・・?