有限空间怎么定义