En teoría de conjuntos, una proyección es uno de dos tipos de funciones u operaciones estrechamente relacionadas entre sí: