Soft Sets with Atoms

The theory of finitely supported structures is used for dealing with very large sets having a certain degree of symmetry. This framework generalizes the classical set theory of Zermelo-Fraenkel by allowing infinitely many basic elements with no internal structure (atoms) and by equipping classical sets with group actions of the permutation group over these basic elements. On the other hand, soft sets represent a generalization of the fuzzy sets to deal with uncertainty in a parametric manner. In this paper, we study the soft sets in the new framework of finitely supported structures, associating to any crisp set a family of atoms describing it. We prove some finiteness properties for infinite soft sets, some order properties and Tarski-like fixed point results for mappings between soft sets with atoms.