J2d: a conditional extension interface, not an extension map

The preceding reference is not a prescription across $N_U$. The following theorem names one exact interface for a possible supported realization. It does not impose this realization on every map in Definition def:mapclass.