Reverse-Functional Relationship

**Semantic type:** Conceptual Entity

**Definition:** An surjection (or surjective, or onto) such that for every y in Y there is at least one x in X such that f(x) equals y.

**Synonyms:** - Reverse-Functional