指定した条件がすべての行で真または不明であることを必要とする、列または列のセットに対する制約。