** Navy flotilla

** Dnieper military flotilla

** 2 Buyan class corvette, Astrakhan, Volgodonsk, Mahachkala ( third corvette will join the flotilla in 2012 )

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

** 4 T-55 main battle tanks ( operational status uncertain )

** Land Force Command-Land Force Command is the operational organisation of the RFMF, and is responsible for all of the main units:

** Supermarine Spitfire operational history

** Warsaw surrenders to Germany ; Modlin surrenders a day later ; the last Polish large operational unit surrenders near Kock 8 days later.

** The first electric bus becomes operational in New York City.

** Planning, Training, and Exercise Support ( PTE )-Our mission is to ensure NCS readiness, enhance partnerships within government and industry, coordinate telecommunications operational planning among NCS elements, develop emergency response requirements, and to provide skilled civilians and reservists during crises and emergencies.

** Abteilung Landesverteidigungsführungsamt ( WFA / L ) a subdepartment through which all details of operational planning were worked out, and from which all operational orders were communicated to the OKW.

** Lower prices due to lowered operational costs for a given route.

** Since 1941 ( decommissioned in 1997, still operational ) Forsby-Köping limestone cableway, Sweden.

** ( decommissioned in 1997 ; still operational ) Forsby-Köping limestone cableway.

** Project commissioning, the process of assuring that all systems and components of a building or industrial plant are designed, installed, tested, operated, and maintained according to the operational requirements of the owner or final client

** allop: returns all operational attributes, for clients that don't know how to request them

** Naval Air Station Glenview, an operational U. S. Naval Air Station from 1923 to 1995

** SLS-2: CZ-2C, CZ-2D and CZ-4C, operational since 2003

** 406 Maritime Operational Training Squadron is an operational training squadron for training all maritime helicopter aircrew in the Canadian Forces.

** 423 Maritime Helicopter Squadron is an operational squadron at Shearwater Heliport which provides CH-124 Sea King helicopters for Maritime Forces Atlantic warships.

** 12 Air Maintenance Squadron provides aircraft maintenance and engineering support to 12 Wing's operational squadrons.

** 443 Maritime Helicopter Squadron is an operational squadron which provides CH-124 Sea King helicopters for Maritime Forces Pacific warships.

** The Germans make the first operational use of their radio-controlled Henschel Hs 293 anti-ship missile.

** The TFOS is an operational and coordinating entity.

** For meritorious operational service in the Persian Gulf during enforcement of sanctions in support of United Nations Security Council Resolutions and the subsequent period of hostilities against Iraq to liberate Kuwait in 1990-91.

** For meritorious operational service in the Persian Gulf during enforcement of sanctions in support of United Nations Security Council Resolutions and the subsequent period of hostilities against Iraq to liberate Kuwait in 1990-91.

** For meritorious operational service in the Northern Arabian Gulf during Operation Catalyst from 1 November 2005 to 25 March 2006 while conducting maritime security operations in support of the Australian Government's contribution to the rehabilitation and rebuilding of Iraq.