** Brooklyn Cable Company's Park Avenue Line

** Brooklyn Heights Railroad's Montague Street Line

** West Side and Yonkers Patent Railway's Ninth Avenue Line

** Third Avenue Railroad's 125th Street Crosstown Line

** Third Avenue Railroad's Third Avenue Line

** Metropolitan Street Railway's Broadway Line

** Metropolitan Street Railway's Broadway and Columbus Avenue Line

** Metropolitan Street Railway's Broadway and Lexington Avenue Line

** Disney Cruise Line

** Kagoshima Shōsen and Cosmo Line operate the various routes between Kagoshima and Tanegashima or Yakushima.

** Jackson / State ( CTA station ) on the Red Line

** Jackson / Dearborn ( CTA station ) on the Blue Line

** Line producer, manages the budget and / or day to day running of a film production

** Tōhoku Main Line

** Yamanote Line, Keihin-Tōhoku Line: Okachimachi, Ueno, Uguisudani Stations.

** Utsunomiya Line, Takasaki Line: Ueno Station

** Jōban Line: Officially, the line begins at Nippori Station, although most trains start / terminate at Ueno Station

** Ginza Line: Ueno-Hirokoji, Inarichō, Tawaramachi, Asakusa Stations

** Hibiya Line: Okachimachi, Ueno, Iriya, Minowa Stations

** Toei Asakusa Line: Asakusa-bashi, Kuramae, Asakusa Stations

** Toei Ōedo Line: Ueno-Okachimachi, Shin-Okachimachi, Kuramae Stations

** WWII – Winter War: Soviet forces attack Finland and reach the Mannerheim Line, starting the war.

** RA-1 Enrico Fermi, a research reactor in Argentina.

** Advanced Heavy Water Reactor ( AHWR )— A proposed heavy water moderated nuclear power reactor that will be the next generation design of the PHWR type.

** KAMINI — A unique reactor using Uranium-233 isotope for fuel.

** The third and final reactor at the Chernobyl Nuclear Power Plant is shut down and the station is shut down completely.

** At the National Reactor Testing Station near Idaho Falls, Idaho, atomic reactor SL-1 explodes, killing 3 military technicians.

** The British JET fusion reactor generates 1. 5 MW output power.

** water used as coolant in a light water reactor

** Reed Research Reactor, a research nuclear reactor at the College

** A small 5 MWe experimental reactor at Yongbyon, operated from 1986 to 1994, and restarted in 2003.

** A 50 MWe reactor, also at Yongbyon, whose construction commenced in 1985 but was never finished in accord with the 1994 U. S .- North Korea Agreed Framework.

** A 200 MWe reactor at Taechon, construction of which also halted in 1994.

** the research reactor FRM-II

** In particular, the reactor is automated for startup ( i. e., initiate the nuclear chain reaction and ascent to power ) and for standard shutdown using automatic systems only.

** Eighteen SORVs ( safety overpressure relief valves ), ten of which are part of the ADS ( automatic depressurization system ), ensure that RPV overpressure events are quickly mitigated, and that if necessary, that the reactor can be depressurized rapidly to a level where low pressure core flooder ( LPCF, the high-capacity mode of the residual heat removal system, which replaces the LPCI and LPCS in previous BWR models ) can be used.

** Though one division of the ECCS does not have high pressure flood ( HPCF ) capacities, there exists a steam-driven, safety-rated reactor core isolation cooling ( RCIC ) turbopump that is high-pressure rated and has extensive battery backup for its instrumentation and control systems, ensuring cooling is maintained even in the event of a full station blackout with failure of all 3 emergency diesel generators, the combustion gas turbine, primary battery backup, and the diesel firewater pumps.

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.