theorem Th18: :: CARD_3:18

for x being object
for X, Y being set holds (pi (X,x)) \ (pi (Y,x)) c= pi ((X \ Y),x)