0546132人目の素数さん垢版 | 大砲2018/06/30(土) 11:05:46.41ID:J4XM0V7p 任意の集合で良いです でも>>542はちょっと違うと思うんですけど、イメージ的にはこんな感じで任意の上部構造に対して超準個体が定義されるはずです