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