Suppose $f_1,f_2, ... ,f_n$ are real valued functions with disjoint domains ( subsets of  real numbers): $D_1,D_2, ... ,D_n$.
Let $D = D_1 \cup D_2 \cup ... \cup D_n$, the union of the disjoint domains, so that $x \in D$ if and only if there is exactly one $k \in \{1,2,...,n\}$ where $x \in D_k$.

Definition: We say that $f$
is a function defined by (piecewise) cases on the domain $D$ if for any $x \in D$, with $x \in D_k$ the value of $f(x)= f_k(x)$.
Comment: The cases are frequently announced in the definition of $f$ by statements like "$f(x) = ....$ if $x$ satisfies some condition" where the conditions are mutually exclusive.
This can be visualized on a mapping diagram by highlighting the distinct subsets $D_k$ and labeling arrows with the appropriate function name $f_k$.