Infinite quantum permutations

We define and study quantum permutations of infinite sets. This leads to discrete quantum groups which can be viewed as infinite variants of the quantum permutation groups introduced by Wang. More precisely, the resulting quantum groups encode universal quantum symmetries of the underlying sets among all discrete quantum groups.