質問：
「積閉部分集合」というのは　mulitiplicatively closed subset のこと？
だとすると584-586はLocalizationがFlatな事を言っているのかしらん？