for S being non empty finite set holds Union (canFS S) = union S