Apply df_cart__df_img__df_domain__df_range__df_cup__df_cap__df_restrict__df_succf__df_apply__df_funpart__df_fullfun__df_ub__df_lb__df_altop__df_altxp__df_ofs__df_transport__df_colinear with
∀ x0 : ι → ο . wceq (cfunpart x0) (cres x0 (cdm (cin (ccom (cimage x0) csingle) (cxp cvv csingles)))).