For all matricially normed spaces and
, each complete contraction
and each complete isometry
there is a complete contraction
such that
.
It suffices to consider only operator spaces and
. Injective matricially
normed spaces are automatically comlete, so they are also called injective
operator spaces.