Virtual permutation

From Groupprops

Definition

Consider the set of natural numbers. A virtual permutation of is a sequence where each is a permutation on and is the derived permutation of .