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

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