Finitary relationIn mathematics, a finitary relation over sets X1, ..., Xn is a subset of the Cartesian product X1 × ⋯ × Xn; that is, it is a set of n-tuples (x1, ..., xn) consisting of elements xi in Xi. Typically, the relation describes a possible connection between the elements of an n-tuple. For example, the relation "x is divisible by y and z" consists of the set of 3-tuples such that when substituted to x, y and z, respectively, make the sentence true. The non-negative integer n giving the number of "places" in the relation is called the arity, adicity or degree of the relation.
Orion NebulaThe Orion Nebula (also known as Messier 42, M42, or NGC 1976) is a diffuse nebula situated in the Milky Way, being south of Orion's Belt in the constellation of Orion, and is known as the middle "star" in the "sword" of Orion. It is one of the brightest nebulae and is visible to the naked eye in the night sky with apparent magnitude 4.0. It is away and is the closest region of massive star formation to Earth. The M42 nebula is estimated to be 24 light-years across (so its apparent size from Earth is approximately 1 degree).
Long-focus lensIn photography, a long-focus lens is a camera lens which has a focal length that is longer than the diagonal measure of the film or sensor that receives its image. It is used to make distant objects appear magnified with magnification increasing as longer focal length lenses are used. A long-focus lens is one of three basic photographic lens types classified by relative focal length, the other two being a normal lens and a wide-angle lens.
Normal lensIn photography and cinematography, a normal lens is a lens that reproduces a field of view that appears "natural" to a human observer. In contrast, depth compression and expansion with shorter or longer focal lengths introduces noticeable, and sometimes disturbing, distortion. Photographic technology employs different physical methods from the human eye in order to capture images. Thus, manufacturing optics which produce images that appear natural to human vision is problematic.
CircumcircleIn geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumradius. The circumcenter is the point of intersection between the three perpendicular bisectors of the triangle's sides, and is a triangle center. More generally, an n-sided polygon with all its vertices on the same circle, also called the circumscribed circle, is called a cyclic polygon, or in the special case n = 4, a cyclic quadrilateral.
Thales's theoremIn geometry, Thales's theorem states that if A, B, and C are distinct points on a circle where the line is a diameter, the angle ∠ ABC is a right angle. Thales's theorem is a special case of the inscribed angle theorem and is mentioned and proved as part of the 31st proposition in the third book of Euclid's Elements. It is generally attributed to Thales of Miletus, but it is sometimes attributed to Pythagoras. There is nothing extant of the writing of Thales.
InterpunctAn interpunct , also known as an interpoint, middle dot, middot, centered dot or centred dot, is a punctuation mark consisting of a vertically centered dot used for interword separation in Classical Latin. (Word-separating spaces did not appear until some time between 600 and 800 CE.) It appears in a variety of uses in some modern languages and is present in Unicode as . The multiplication dot (Unicode ) is frequently used in mathematical and scientific notation, and it may differ in appearance from the interpunct.
SymmedianIn geometry, symmedians are three particular lines associated with every triangle. They are constructed by taking a median of the triangle (a line connecting a vertex with the midpoint of the opposite side), and reflecting the line over the corresponding angle bisector (the line through the same vertex that divides the angle there in half). The angle formed by the symmedian and the angle bisector has the same measure as the angle between the median and the angle bisector, but it is on the other side of the angle bisector.
