  Given a pair κ, λ of infinite cardinals such that λ ≤ κ, we define a class of infinitary languages in each of which we may form conjunctions and disjunctions of sets of formulas of cardinality &lt; κ, and quantifications over sequences of variables of length &lt; λ. 