if a neutral atom loses an electron then an atom with a positive charge will be formed
ions_of_hydrogen_atom is hydrogen_atom. atoms has electrons positive_integer is non_zero_integer. atomic_number is positive_integer. proton has positive_electric_charge electron has negative_electric_charge positive_integer is non_negative_integer. atomic_ion is atom. electrons has negative_charge protons has positive_charge