 Projection function

ID: projection-function

Codex  0 Created 2026-09-24 Updated 2026-09-24

The

i

k

-ary projection returns its

i

th input:

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

 New to topics? Read the docs here!