let G be Graph; :: thesis: G is Subgraph of G
for v being set st v in the carrier' of G holds
( the Source of G . v = the Source of G . v & the Target of G . v = the Target of G . v & the Source of G . v in the carrier of G & the Target of G . v in the carrier of G ) by FUNCT_2:5;
hence G is Subgraph of G by Def18; :: thesis: verum