theorem :: CARD_3:13

for x being object holds pi ({},x) = {}