The Old Testament refers to a place called Sela in connection with Edom. Second Kings records Amaziah king of Judah defeating Edomites in the Valley of Salt and capturing Sela, which he renamed Joktheel.
Isaiah also refers to Sela in an oracle involving Moab, while other passages use the ordinary Hebrew word sela for a rock or rocky stronghold.
Petra has long been identified in Christian and popular biblical tradition with Sela because of its location in Edomite territory and its spectacular rocky landscape.
The biblical texts themselves do not provide enough information to demonstrate that every geographical reference to Sela denotes the later city of Petra.