tradiční označení ostrova Cejlonu, podle eposu //*Rámájana// ostrovní říše démonů, jíž vládl obávaný Rávana. (Jan Filipský)