The Greek national basketball team has a decades-long tradition of excellence in the sport, being considered among the world's top basketball powers. What is the name of Greece's top domestic basketball league?