Mapping/Quantifier/Interpretation as solution/Remark

The question, whether a mapping has the properties of being injective or surjective, can be understood looking at the equation

(in the two variables and ). The surjectivity means that for every there exists at least one solution

for this equation; the injectivity means that for every there exists at most one solution for this equation. The bijectivity means that for every there exists exactly one solution for this equation. Hence, surjectivity means the existence of solutions, and injectivity means the uniqueness of solutions. Both questions are everywhere in mathematics, and they can also be interpreted as surjectivity or injectivity of suitable mappings.