I've recently begun reading Poizat's A Course in Model Theory and already in the first pages I had some doubts. One odd (not necessarily bad) thing is that he defines notions such as isomorphism only between relations (or rather, relational structures with just one relation). So, to continue the example, he defines an isomorphism $\sigma$ from a relation $R$ to a relation $R'$ as a bijection from $E$ to $E'$ (where these denote the respective underlying sets, or universes) which preserves the given relation (i.e. a sequence $\vec{a}$ satisfies $R$ iff the sequence $\sigma(\vec{a})$ also satisfies $R'$). Anyway, after defining the notion of a local isomorphism from $R$ to $R'$ as an isomorphism between finite restrictions of $R$ to $R'$ (where a finite restriction is a restriction of the relation to a finite subset of the original universe), he proceeds to define the set $S_p(R, R')$ of $p$-isomorphisms between $R$ and $R'$ ($p$ is a non-negative integer). The definition is recursive: $S_0(R, R')$ is defined as the set of all local isomorphisms between $R$ and $R'$ and, for $p > 0$, we say that a local isomorphism $s$ belongs to the set $S_{p+1}(R, R')$ according to the following conditions:
Back: For every $a$ in the universe $E$ of $R$, there is an extension $t$ of $s$ (i.e., $\mathrm{dom}(s) \subseteq \mathrm{dom}(t)$ and $s$ is the restriction of $t$ to $\mathrm{dom}(s)$), defined at $a$, that is in $S_p(R, R')$;
Forth: For every $b$ in the universe $E'$ of $R'$, there is an extension $t$ of $s$, whose image contains $b$, that is in $S_p(R, R')$.
My question is rather simple. I don't understand why these conditions must be stated in terms of all elements from $E$ and $E'$. Given that we're working here with partial (or, as Poizat calls them, local) isomorphisms between the structures, how can we demand that these isomorphisms be defined for every element of the original domain (instead of the restricted domain)? I'm a bit at loss here.