Ключевая фраза: disjunction.