for X being finite set holds canFS X is Enumeration of X