double star

definition: a system of two stars that revolve around each other under their mutual gravitation
example:
speech part: noun
synonyms: binary star

How double star is being used?