2012-02-01 ■ GN para-Lindelof → meta-lindelof → θ-refinable → sub-meta-Lindelof → weakly sub-meta-Lindelof → ultrapure にT_1が必要かどうか残っているが、2月になったので本業に戻るようなそうでないような。