>Mは開集合系の基底である

これを証明する問題じゃないのか。