n. 1. a one-to-one correspondence. 2. less frequently, any mapping or relation between the members of discrete sets, whether one-to-one, one-many, many-one, or even many-many, as in 3. another word for set-valued mapping especially when the image set is always non-empty.