В теорії множин, проекція є однією з двох подібних типів функцій чи операцій:
Теоретико-множинна операція характеризується th проективним відображенням, позначається що відображає елемент з декартового добутку множин у значення
Функція, що відображає елемент в його клас еквівалентності заданий через відношення еквівалентності чи, що те саме, сюр'єкція з однієї множини в іншу. Відображення елементів в класи еквівалентності є сюр'єкцією, і навпаки, сюр'єкція задає собою розбивку на класи еквівалентності, де елементи відносяться до одного класу, щоящо відображаються на один і той же самий елемент. Записується як якщо є очевидним, або коли потрібно зазначити явно.
Див. також Декартів добуток Проєкція (математика) Проекція (лінійна алгебра) Проєкція (реляційна алгебра) Відношення
Джерела