Properties of finitely supported self-mappings on the finite powerset of atoms (Q821322)

The paper provides some results on finitely supported set-theoretic constructions, specially on finitely supported self-mappings defined on \(\wp_{fin}(A)\) (the set of the finite subsets of \(A\), in which \(A\) is an infinite set of ``atoms''). It is proved that surjectivity is equivalent to injectivity for these mappings, and also that they satisfy some fixed-point properties under special conditions. This result shows that, although \(\wp_{fin}(A)\) is infinite, it has some finiteness properties.