Definition:Convex Circumference of Circle