PROOF 118

Prove.

Why a function must have exactly one output

On sets and correspondences.

Definition D1

A relation from a set X to Y is a subset of X × Y, that is, a collection of ordered pairs (a, b).

Proof.

Related labs