有限空间定义及种类