Disjunction property

Redirect to:

• Disjunction and existence properties