Informally, a restriction of a function is the same function but restricted to a subset of its domain. A formal definition follows now:

Definition: Restriction

Let $f:A\mapsto B$ be a function and \(C\subset A\) is a proper subset of \(A\). The function \[{f|}_C : A \to B:=f:C\to B.\]

is called the restriction of \(f\) to \(C.\)

Definitions: 1 2 3 4 5 6
Propositions: 7


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs