It is important for B to be a permutation of A, meaning that there is a one-to-one mapping between objects in B and objects in A.
That is, we can't just set B[i] = A[1] for all i, even though that would satisfy the properties that:
In particular, it fails to satisfy the property that:
With this added constraint, the definition is complete.