 (where \(\mathbf{A}\) is the universe of individuals, of sort 1, and \(\mathbf{A}_{n}\) is the universe of n-ary relations, of sort  \(\langle\underbrace{ 1,\ldots ,1}_n ,0\rangle\), and  \(\mathbf{A}^{n}\) is the n-ary Cartesian product of \(\mathbf{A}\))