「派生ユニオン(Derived Union)」であるプロパティ `{union}` は、読み取り専用(`{readOnly}`)である必要があるか。

派生属性(Derived)の一種であり、他の要素の集合から計算・構成されるため、基本的には読み取り専用として扱われる(値を直接代入しても、元となるサブセット側が変わらなければ意味がないため)。