OurBigBook.comSite Source code

Projection function ( $π_{i}^{k}$ )

The

i

th

k

-ary projection returns its

i

th input:

π_{i}^{k} (x_{1}, \dots, x_{k}) = x_{i} .

 Ancestors (7)

 Incoming links (2)