有限離脱(SeparateFinite)