....2.1
$ p$ can be made total and surjective by defining $ \mathbf{P}:=dom(p)$ and $ \mathbf{R}:=im(p)$.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
... context3.1
Using the derived context roles as concept, we can say, a system assembly connector connects a required context role and a provided context role
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.