Secant line a circle in the Euclidean plane, a line joining two of them would be a 2-secant (or "bisecant") and a line passing through only one of them would be a 1-secant (or "unisecant"). A unisecant in this example need not be a tangent line to the circle. This terminology is often used in incidence geometry and discrete geometry. For instance, the Sylvester–Gallai theorem of incidence geometry states that if points of Euclidean geometry are not collinear then there must exist a 2-secant of them. And the original orchard-planting problem of discrete geometry asks for a bound on the number of
Absolute geometry The converse is not true. Absolute geometry assumes the first four of Euclid's Axioms (or their equivalents), to be contrasted with affine geometry, which does not assume Euclid's third and fourth axioms. (3: "To describe a circle with any centre and distance radius.", 4: "That all right angles are equal to one another." ) Ordered geometry is a common foundation of both absolute and affine geometry. The geometry of special relativity has been developed starting with nine axioms and eleven propositions of absolute geometry. The authors Edwin B. Wilson and Gilbert N. Lewis then proceed beyond absolute geometry when they