いまをの部分集合とすれば、上の射影とは、写像