The proof that the set of values of for which ( ) or ( ) has a solution is closed, relies on estimates which hold for all possible solutions. Usually, one proves that ( ) lies in a compact set of the function space X. For a sequence we can therefore extract a convergent subsequence in X which converges to a solution of ( ).