Language and Notation of the Circle

Formal definition of a circle. Tangent and secant lines. Diameters and radii. major and minor arcs