for A being finite set holds len (canFS A) = card A