Em matemática, uma projecção num conjunto  é uma aplicação  idempotente. Dentro de cada área da matemática podem ser exigidas outras propriedades, como linearidade (na álgebra linear), continuidade (em topologia), etc.