>>299
どんな集合も、全順序を入れたら、特定の元aを境に3つに分割されるのでは?