** Langer Eugen, since 2006 the centre of the United Nations Campus, formerly housing the offices of the members of the German parliament

** 13th Demi-Brigade of the Foreign Legion ( 13 DBLE ), based in United Arab Emirates, formerly in Africa ( Djibouti ).

** Office of Surveillance and Epidemiology ( formerly Office of Drug Safety )

** Several ground squirrels ( tribe Marmotini ) of North America, particularly those formerly classified as Spermophilus

** Hemlock ( Conium ), two species, one formerly used as a method of execution

** Lawful killing ( formerly " justifiable homicide ")

** Partner-developed storage engines ( solidDB, NitroEDB, ScaleDB, TokuDB, Infobright ( formerly Brighthouse ), Kickfire, XtraDB, IBM DB2 ).

** Malbork, Poland, site of the Ordensburg Marienburg, formerly Marienburg in Westpreußen and during World War II, Nazi Stalag XX-B ( prisoner-of-war camp ) for enlisted men

** Order † Sparassodonta ( formerly viewed as marsupials, now as a sister group of metatherians )

** Shwenyaung – Taunggyi 33 · 5 Connecting with the formerly isolated Banyin line.

** ( formerly SS Sgt.

** ( formerly SS PFC Eugene A. Obregon, SS Thomas Heywood )

** ( formerly SS Maj. Stephen W. Pless, SS Charles Carroll )

** ( formerly MV 2nd Lt. John P. Bobo )

** ( formerly MV PFC Dewayne T. Williams )

** ( formerly MV 1st Lt. Baldomero Lopez )

** ( formerly MV 1st Lt. Jack Lummus )

** ( formerly MV Sgt.

** ( formerly MV Estelle Maersk )

** ( formerly MV Eleo Maersk )

** ( formerly MV Emma Maersk )

** ( formerly MV Emilie Maersk )

** Marguerite Marie Alacoque ( formerly )

** For ohm – SI unit of electrical resistance ; formerly also used upside down () to represent mho, the old name for the inverse of an ohm ( now siemens with symbol S ) used for electrical conductance.

** Dil Chahta Hai-Excel Entertainment Pvt.

** Don-Excel Entertainment Pvt.

** 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.

** Well-ordering theorem: Every set can be well-ordered.

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

** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.

** 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.

** Every surjective function has a right inverse.

** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.

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

** Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion.

** Antichain principle: Every partially ordered set has a maximal antichain.

** Every vector space has a basis.

** Every unital ring other than the trivial ring contains a maximal ideal.

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

** The closed unit ball of the dual of a normed vector space over the reals has an extreme point.

** 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.