Сюръекция

Сюръекция, действующая из множества в множество

 * $$a,b,c$$ - множества,
 * $$a\in \mathrm{Function}(b,c)$$ - функция.

Функция $$a$$ — сюръекция (или сюръективная функция) (англ. surjection or surjective function, нем. Surjektion), действующая из множества $$b$$ в множество $$c$$, если область допустимых значений функции $$a$$ равна области значений функции $$a$$: $$ \Upsilon(a,b,c) \ \stackrel{\mathrm{def}}{=} \ c = \mathrm{Range}(a) $$

Обозначим $$\Upsilon(a,b,c) \ \stackrel{\mathrm{def}}{=} \ a\in \mathrm{Surjection}(b,c)$$.

Сюръекцию, действующую из множества $$b$$ в множество $$c$$, будем также называть сюръекцией с областью определения $$b$$ и областью допустимых значений $$c$$ или кратко сюръекцией.