talk:>>662 開集合系を含む完全加法族のうち最小のもの。