-hypergoupes
In this paper we introduce perfectly supportable semigroups and prove that they are σ-discrete in each Hausdorff shiftinvariant topology. The class of perfectly supportable semigroups includes each semigroup S such that FSym(X) ⊂ S ⊂ FRel(X) where FRel(X) is the semigroup of finitely supported relations on an infinite set X and FSym(X) is the group of finitely supported permutations of X.