ここで "≤" はp上の前順序関係(広義の半順序)で、以下のsplitting condition(アトムの非存在性)を満たすもの。