for G being Graph holds
( dom the Source of G = the carrier' of G & dom the Target of G = the carrier' of G ) by FUNCT_2:def 1;