theorem :: MOEBIUS2:31

for A being finite set holds dom (canFS A) = Seg (card A)