Es a veces llamado el Teseion (en griego: "Θησείο", "theseio"), debido a una creencia corriente en la época bizantina de que los huesos del legendario héroe griego Teseo fueron enterrados allí.