Note 22 — Chapter II · THE THEORY OF LOGICAL TYPES.
Reading edition
Here the combination or disjunction is supposed to be given intensionally. If given extensionally (i.e. by enumeration), no assumption is required; but in this case the number of predicates concerned must be finite.