Projection (set theory)

In set theory, a projection is one of two closely related types of functions or operations, namely:

...
Wikipedia