[1] 【SGML】 dso と dsc で囲まれる部分。 Declaration subset。

[2] 文書型宣言部分集合や連結型宣言部分集合などがあります。

[3] >>1 は内部部分集合。マーク宣言で外部識別子を使って参照する外部部分集合もあります。

[4] なんか用語が一人歩きしているような気もしないでもない語なんですが、もともとの SGML での定義は、

別の宣言を出現させることが出来るマーク宣言の部分。 備考 宣言部分集合は、文書型, 連結型及びマーク区間宣言の中でだけ出現する。

だったんです。なるほど単純明快。 確かに、マーク宣言の「部分」としてほかのマーク宣言が来るのはこの3種類に限られてます。

• [5] 素の SGML の定義では外部部分集合は宣言部分集合だったんですかね? う〜ん。
• [6] 宣言部分集合は、文書型宣言部分集合と連結型宣言部分集合とマーク区間宣言のマーク区間の3種類があります。形式的に宣言部分集合に近いけどそうではないものとして、データ属性指定があります。
• [7] 内部・外部部分集合の別があるのは文書型宣言部分集合と連結型宣言部分集合。他はありません。宣言部分集合ではないけど内部・外部の別が似たように存在するものとして、実体宣言と SGML宣言が挙げられます。