Definition:Preimage of Subset under Mapping/Also known as

Preimage of Subset under Mapping: Also known as
Some sources use counter image or inverse image instead of preimage.

Some sources use the notation $\map {f^\gets} Y$ for $f^{-1} \sqbrk Y$.