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.