Meaning of double star

(noun) a system of two stars that revolve around each other under their mutual gravitation