解集合
かいしゅうごう set of solutions open set