** Lowered compression ratio of 9. 3: 1 two-valve engine for Sweden and Switzerland.

** August 9 ( Eastern Orthodox liturgics )

** God beside the altar ( 9. 1-4 )

** April 9 ( Eastern Orthodox liturgics )

** Simon Magus ( 8: 9 – 24 )

** Vienna, November 1908 ( Season 2, Episode 9 )

** 1, 000, 000, 000 ( number ), one thousand million, 10 < sup > 9 </ sup >, in the short scale

** under 914 m: 9

** February 9 ( Eastern Orthodox liturgics )

** 3. 9 Ma: First Australopithecus, direct ancestor to modern Homo sapiens, appear

** Male: 68. 9 %

** Female: 52. 9 %

** Import / export trade 14. 9 %

** With China: $ 402. 6 billion, + 24. 2 % ( 2010 ), 48. 9 % share

** To China: $ 201. 7 billion, + 26. 7 % ( 2010 ), 52. 9 % share

** From China: $ 196. 9 billion, + 22. 4 % ( 2010 ), 45. 4 % share

** Part Two of Booknotes interview with Keneally on The Great Shame, January 9, 2000.

** Arable land: 27. 9 %

** EUBAM Rafah, from 2005 ( Rafah Border Crossing ) – 2 out of 22 soldiers from 9 countries

** June 9 ( Eastern Orthodox liturgics )

** July 9 ( Eastern Orthodox liturgics )

** January 9 ( Eastern Orthodox liturgics )

** May 9 ( Eastern Orthodox liturgics )

** November 9 ( Eastern Orthodox liturgics )

** October 9 ( Eastern Orthodox liturgics )

** 9 × 8 background grid ; dots, lines, or solid blocks

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