The phrase "a disjunctive relation" is correct and usable in written English.
It can be used in contexts related to logic, mathematics, or philosophy when discussing relationships that involve alternatives or choices.
Example: "In logic, a disjunctive relation is often represented by the logical operator 'or', indicating that at least one of the conditions must be true."
Alternatives: "an alternative relationship" or "a non-conjunctive relation".
In particular, a ternary relation on a set is an AR-relation if and only if it satisfies axioms R1 R6; i.e., it is a disjunctive R-relation.
In the condition part in the B-Prolog rule in Listing 2, the first five predicates are conjoined using the disjunction operator ";" to represent their disjunctive relation, meaning the requirement applies to all these concepts.
Fig. 5 The tree-shaped visualization of a requirement from the IBC 2006 with disjunctive relation.
Thus interactivity entered the Critique as a cognitive device for ordering data (the disjunctive relation or community; A70/B95 and A80/B106) and for perceiving spatial objects (the principle of coexistence; A211/B256 A215/B262).
In the subject of the regulatory requirement in Listing 4, the concepts have the disjunctive relation as represented by the disjunction operator ";".
This explicit representation of logical disjunction in addition to logical conjunction is important to ensure a clear and concise representation of the disjunctive relation between concepts, namely, the relation between multiple concepts that share the same property or requirement.
Fig. 6 The tree-shaped visualization of a requirement from the IBC 2009 with disjunctive relation and multiple branches "Structural plain concrete basement, foundation or other walls below the base are permitted in detached one- and two-family dwellings three stories or less in height constructed with stud-bearing walls".
Each relation or related concept in the relation is represented at a different level of the tree, except for the disjunctive relation between concepts.
But this was only an arbitrary choice, because all the concepts in the subject are in disjunctive relation which means any of them can be selected as the seed concept with no difference in the final visualization.
The concepts that have disjunctive relation are represented at the same level of the tree using the disjunction operator ";".
