@id:10392
$name:有限座標空間