The permutation group induced on a moiety.
A number of recent papers have been devoted to the study of prevalence, a generalization of the property of being of full Haar measure to topological groups which need not have a Haar measure, and the dual concept of shyness. These concepts give a notion of "largeness" which often differs from the category analogue, comeagerness, and may be closer to the intuitive notion of "almost everywhere." In this paper, we consider the group of permutations of natural numbers. Here, in the sense of category,...