Definition:Edge of Half-Plane