projection function

Show Summary Details

Quick Reference

The function Uin that extracts the ith coordinate from an ordered n-tuple (see ordered pair). More formally Uin(x1,x2,…xn) = xi See also primitive recursive function.

Uin(x1,x2,…xn) = xi

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.