@id:14974
$name:有限集合