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
Luneburg lens one side, and formula_14 only on the other: The parameter formula_19 is a constant for any given ray, but differs between rays passing at different distances from the centre of the lens. For rays passing through the centre, it is zero. In some special cases, such as for Maxwell's fish-eye, this first order equation can be further integrated to give a formula for formula_14 as a function or formula_13. In general it provides the relative rates of change of formula_14 and formula_13, which may be integrated numerically to follow the path of the ray through the lens. Luneburg lens A