Сюръективная функция
- Сюръекция — функция, которая отображает каждый элемент из области в диапазон.
- Сюръекция является биективной функцией, если она также является инъективной.
- Проекция декартова произведения на один из множителей сюръективна, если другой множитель не пуст.
- Сюръективные функции являются эпиморфизмами в категории множеств.
- Мощность области сюръективной функции больше или равна мощности ее кодовой области.
- Композиция сюръективных функций всегда сюръективна.
- Сюръективная функция индуцирует биекцию путем свертывания аргументов, сопоставляемых с заданным изображением.
- Множество сюръекций может быть сформировано для фиксированных A и B.
Полный текст статьи: