FinSet⇒List