Projection (set theory)

In set theory, projection is a concept related to relations and the Cartesian product of sets. Given a set \( S \) and a relation \( R \subseteq S_1 \times S_2 \), a projection is a function that retrieves one part of the Cartesian product from the relation.