A system of two stars that revolve around each other under their mutual gravitation English: binary star, binary, double star