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

** called " gods ... in human form " ( 14: 11 )

** Agios, a shortend form of the Greek word for Saint.

** United Kingdom of Great Britain and Ireland, a sovereign state from 1801 to 1922 ( and between 1922 and 1927 in its superseded form )

** Standard Chinese, the standard form of the Chinese language in China, Taiwan and Singapore, and the variety most commonly taught as a foreign language

** To form the passive voice: " I was told that you wanted to see me "

** To form progressive tenses in English: " It is raining "

** Direct liquid injection CVD ( DLICVD ) – A CVD process in which the precursors are in liquid form ( liquid or solid dissolved in a convenient solvent ).

** Arithmetic logic unit ( ALU )-The ALU executes all arithmetic and logic instructions, and provides the results in binary coded form.

** Cream cheese, produced by the addition of cream to milk and then curdled to form a rich curd or cheese

** tittle, the dot used by default in the modern lowercase form of the Latin letters " i " and " j "

** Cliffhanger ( 1999 – 2004 ; merged to form WildStorm Signature )

** Homage Comics ( 1999 – 2004 ; merged to form WildStorm Signature )

** " Rule 7: Substance first — then form.

** Two-pore-domain potassium channels: This family of 15 members form what is known as leak channels, and they follow Goldman-Hodgkin-Katz ( open ) rectification.

** Two-pore-domain potassium channels: This family of 15 members form what is known as leak channels, and they follow Goldman-Hodgkin-Katz ( open ) rectification.

** Shoot boxing – A Japanese form of kickboxing which allows throwing and submission while standing, similar to Sanda.

** Kosher salt, a form of coarse salt used for kashering

** Grook – form of short aphoristic poem invented by the Danish poet and scientist Piet Hein, who wrote over 7, 000 of them.

** Error theory, another form of moral anti-realism, holds that although ethical claims do express propositions, all such propositions are false.

** quoted-printable – used to encode arbitrary octet sequences into a form that satisfies the rules of 7bit.

** base64 – used to encode arbitrary octet sequences into a form that satisfies the rules of 7bit.

** International System of Units, or Système International ( SI ), the modern form of the metric system

** A generic differential form

** Uilleann pipes, a unique form of bagpipes originating in Ireland

** The president has a very limited form of suspensive veto: when presented with a law, he or she can request another reading of it by Parliament, but only once per law.