Слава Диэдру, что Бурбаки придумали инъекцию, сюръекцию и биекцию*, а то так бы и мучились люди с предлогами (это объективно вредно — слова короткие и меньше защита от шума, фразы неудобные в разговоре (клитики типа «в» непривычно произносить без того, к чему им принято прилипать, и в русском случае непривычно аж фонетически, приходится эпентетический гласный вставлять: [və])). Конечно, до сих пор приходится читать книги с таким употреблением, но они постепенно уходят в прошлое.
* «Взаимно однозначное отображение» уже плохо с другой стороны — длинновато. Но зато никакого особенного синтаксиса и достаточная длина, чтобы не бояться шума.
А существуют ли формулы образа для этого проективного преобразования?
Конечно. См. однородные координаты.