projection function

views updated

projection function 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.