やったこと

木について考えていた

木というのはどうも任意の元に対する下方集合が整列集合であるような半順序集合のことを言うらしい。実際確かめてみると木になっているから面白い。半順序集合すげえ。