any of the several petty celestial bodies that revolve around another body, but not considered as stars or planets.