In case this is not legally possible: Schapel grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Captions
An injective function, which is not also surjective. (3 elements in X map to 3 different elements in Y. Y has 4 elements total).