consider G, H being Element of V such that
A1: G <= H and
A2: F is Morphism of G,H by Def18;
reconsider F' = F as Morphism of G,H by A2;
dom F' = G by A1, Def9;
hence dom F is Element of V ; :: thesis: verum