  We now give some examples intended to display the expressive power of the infinitary languages  L(κ,λ)  with κ ≥ ω1. In each case it is well-known that the notion in question cannot be expressed in any first-order language.