DerivedFrom
データ付き領域集合群