Обсуждение:Инъекция (математика)

Untitled

$~f:\mathrm {dom(f)} \mapsto \mathrm {cod(f)} \mathrm {is\ an\ injective\ function.}$

$~\Leftrightarrow \forall x\forall x'\ (\ \langle f(x),\ f(x')\rangle \in \mathrm {cod(f)\times cod(f)} \to (f(x)=f(x')\to x=x'))$

информатика

Каким образом организация связи 'один ко многим' связана с 'разные элементы множества X переводятся в разные элементы множества Y'?

на / в

Любая функция из X в Y называется также отображением X в Y, иными словами, предлогу в никакого особенного смысла не придается, в то время как предлог на обозначает именно сюръективное отображение.