Fuzzy Results for Finitely Supported Structures

We present a survey of some results published recently by the authors regarding the fuzzy aspects of finitely supported structures. Considering the notion of finite support, we introduce a new degree of membership association between a crisp set and a finitely supported function modelling a degree of membership for each element in the crisp set. We define and study the notions of invariant set, invariant complete lattices, invariant monoids and invariant strong inductive sets. The finitely supported (fuzzy) subgroups of an invariant group, as well as the L-fuzzy sets on an invariant set (with L being an invariant complete lattice) form invariant complete lattices. We present some fixed point results (particularly some extensions of the classical Tarski theorem, Bourbaki–Witt theorem or Tarski–Kantorovitch theorem) for finitely supported self-functions defined on invariant complete lattices and on invariant strong inductive sets; these results also provide new finiteness properties of infinite fuzzy sets. We show that apparently, large sets do not contain uniformly supported, infinite subsets, and so they are invariant strong inductive sets satisfying finiteness and fixed-point properties.