유한집합,finite_set