[開設 07/03/23=MM/DD/YY]

X = { 1, 2, 3, 4 } のときの (ℙX, ⊑) の Hasse 図

離散構造（室伏）のホーム
murofusi "at mark" c "dot" titech "dot" ac "dot" jp ("at mark" -> @ / "dot" -> .)