PETRA

PETRA, a ruined city, and once the rock capital of Edom, and afterwards of Arabia Petræa; was a place of some importance at one time as a commercial centre; the name Petra signifies rock.