What is function and relation and correspondence?

A function is a specific type of relation where each input is associated with exactly one output. A relation, more broadly, is a set of ordered pairs that can involve multiple outputs for a single input. Correspondence typically refers to the way elements from one set relate to elements in another, often emphasizing the pairing or mapping aspect, which can include both functions and general relations. Thus, all functions are relations, but not all relations are functions.