文書型宣言部分集合