射影
直積集合の成分への標準射影 →射影 (集合論)
商集合への標準射影 →商写像