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