有限空間分類大致為?