@id:1783
$name:宣言部分集合