ダウンロード

直積集合と「閉じている」