関連の「派生(Derived)」プロパティ `/` と、「派生ユニオン(Derived Union)」 `{union}` の違いはどれか。

`/` は単に値が他から導かれることを示す汎用的なマークであり、`{union}` はその導出ロジックが「サブセット化しているプロパティ群の総和」であることを明示するメタデータである。