序列弱完备

sequentially weak complete