1: \begin{definition} \label{def:basic}

2: A sc-smooth map $s:\E\to\F$ is {\rm sc-Fredholm} at $e_0\in E_\infty$ if it is regularizing\footnote{The regularizing property requires $s^{-1}(F_i)\subset E_i$ for each $i\in\N$. This plays a minor but still necessary role in the proof of the Implicit Function Theorem of scale calculus.} and 

3: there is an admissible change of  coordinates that brings $s$ into the form of a basic germ at $0$.\footnote{Admissible changes of coordinates are given by a sc$^+$-section $U\to U\triangleleft\F, e\mapsto (e,s_0(e))$ with $s_0(e_0)=s(e_0)$ on a neighborhood $U\subset\E$ of $e_0$ and a strong bundle isomorphism $U\triangleleft\F \to V\triangleleft (\R^N\times\W), (e,f) \mapsto (\psi(e), \Psi_e f )$ covering a sc-diffeomorphism $\psi:U\to V\subset \R^k\times\W$ with $\psi(e_0)=0$. The result of this change of coordinates applied to a map $s:\E\to\F$ is the map

4: $f: V \to \R^N \times \W, v \mapsto \Psi_{\psi^{-1}(v)} ( s(\psi^{-1}(v))- s_0(\psi^{-1}(v)) )$.}

5: Such a {\em basic germ} is a sc-smooth map of the form

6: \begin{align}\label{eq:f}

7: f\,: \; \R^k \times \W \supset V \;\to\; \R^N \times \W , \qquad (c,w) \;\mapsto\; \bigl( a(c,w) , w - B(c,w) \bigr) ,

8: \end{align}

9: where the sc-smooth map $B:V \to \W$ is a contraction on all levels of $\W$, in the sense that 

10: for any $i\in\N_0$ and $\epsilon > 0$ there exists $\delta>0$ such that for $c\in\R^k$ and $w_1,w_2\in W_i$ with $|c|,|w_1|_i,|w_2|_i < \delta $ we have the {\it contraction property}

11: \begin{equation}\label{eqn:contract}

12: \| B(c,w_1) - B(c,w_2) \|_i \le \epsilon \|w_1-w_2\|_i  . 

13: \end{equation}

14: Recall here that the sc-space $\W=(W_i)_{i\in\N_0}$ consists of Banach spaces $W_i$ with norm $\|\cdot\|_i$ and 

15: compact embeddings $W_i \subset W_j$ for $i>j$ such that $W_\infty:= \bigcap_{i\in\N_0} W_i$ is dense in each $W_i$.

16: \end{definition}

17: