「子要素は親要素より常に大きいか等しい（または常に小さいか等しい）」という制約を持つ木
とは半順序木と同じことではないのですか？？？