इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें T \\ subseteq Y को 'f' के कोडोमेन 'Y' का उपसमुच्चय मानें.
बेशक, वाक्य का एक अधिक जटिल संस्करण है "Let T \\ subseteq Y be a subset of the codomain of'' f'':'' X'' →'' Y'', तब f ^ (T ) को व्युत्क्रम छवि f ^ (T ) द्वारा दिया जाता है। "