EN
Two different models for a Hopf-von Neumann algebra of bounded functions on the quantum semigroup of all (quantum) permutations of infinitely many elements are proposed, one based on projective limits of enveloping von Neumann algebras related to finite quantum permutation groups, and the second on a universal property with respect to infinite magic unitaries.