Predicate Tp1::ProjectRelate1::tp

A predicate tuple that represents the result of a projection, from the input tuple predicate, to a new tuple predicate with a single column derived from the given relation r.

For projecting this tuple by a “function” (as opposed to a “relation”), see Project.