S. Plewik, “A theorem on spaces of finite subsets”, Ann. Math. Sil., vol. 2, pp. 108–110, Sep. 1986.