theorem :: JGRAPH_1:2

for X being set holds the carrier of (PGraph X) = X ;