Issue:An embedding IF-sets to MV-algebras