Проекция (теория множеств)

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Проекцией в теории множеств называют одну из двух практически не связанных функций или операций, а именно:

  • Операцию в теории множеств, обозначаемую , выделяющую -й компонент элемента декартова произведения , то есть .
  • Функцию, ставящую в соответствие элементу x его класс эквивалентности при заданном отношении эквивалентности E. Значение такой функции записывается как , когда E подразумевается, или как , когда необходимо указать E явно.

См. также[править | править код]