有限空间分为四类合集