Что значит pr в теории множеств?

Question

В упорядоченной паре z = (х1,х2), являющейся элементом прямого произведения Z = Х1 х Х2 множеств Х1 и Х2, элемент х1 называется первой проекцией пары z и обозначается через pr1z, а элемент x2 — второй проекцией пары z и обозначается через pr2z.

Анастасия Бармина · Accepted Answer

pr это и есть "проекция", т. е. или х1 или х2. 
pr1z - 1-е число из пары (х1,х2), pr2z - 2-е число из пары (х1,х2).