 Let us now consider disjunction. When should \(\phi \lor \psi\) hold? To answer this, let us recall—once again—that teams can be understood as sets of possible states of things, and that therefore the union of two teams \(Y\) and \(Z\) represents all states of things which may occur if \(Y\) or \(Z\) is the case. Therefore, if the two formulas \(\phi\) and \(\psi\) are satisfied by the set of teams \(\{Y_1 \ldots Y_n, \ldots\}\) and \(\{Z_1 \ldots Z_n, \ldots\}\) respectively, their disjunction \(\phi \lor \psi\) should be satisfied by the set of teams \(\{Y_i \cup Z_j : i,j \in 1, \ldots\}\), or, equivalently,