 We can make the notion of permutation invariance more precise as follows. Given a permutation \(p\) of objects on a domain \(D\), we define a transformation \(p^*\) of arbitrary types in the hierarchy: