Predicate Tp4::Map::find

Get the result of mapping the function map over the set of tuples represented by this tuple predicate.

For mapping a “relation” (as opposed to a “function”) over this tuple set, see MapRelate.