theorem :: CARD_3:14

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