Convex set exists an in such that the line segment from to any point in is contained in . Hence a non-empty convex set is always star-convex but a star-convex set is not always convex. An example of generalized convexity is orthogonal convexity. A set in the Euclidean space is called orthogonally convex or ortho-convex, if any segment parallel to any of the coordinate axes connecting two points of lies totally within . It is easy to prove that an intersection of any collection of orthoconvex sets is orthoconvex. Some other properties of convex sets are valid as well. The definition of
Lens clock clock can be used if a dial thickness gauge is not available. To do this, the contact lens is placed concave side up on a table or other hard surface. The lens clock is then brought down on it such that the center prong contacts the lens as close to its center as possible, and the outer prongs rest on the table. The thickness of the lens is then the sagitta formula_4 in the formula above, and can be calculated from the optical power reading, if the distance between the outer prongs is known. Lens clock A lens clock is