Weakly sequentially compact set (source code)

= Weakly sequentially compact set

A set is weakly sequentially compact when every sequence in it has a subsequence that converges weakly to a point of the set.