theorem :: NET_1:10

for N being Pnet
for x being Element of Elements N holds Pre (N,x) c= Elements N by Th9;