** xFIP: This variant substitutes a pitcher's own home run percentage with the league average

** BCD ( 6-bit ), a 6-bit variant of binary-coded decimal

** Mine Excavator T5 / E1 / E2: T4 variant w / v-shaped plough.

** Strong induction, or Complete induction, a variant of mathematical induction

** J An APL variant in which tacit definition provides some of the benefits of compiling

** Mickey, spelling variant

** RPG-32 " Hashim ": Latest variant of RPG 105 mm Caliber, PG-32V with ~ 650 mm RHA penetration

** FN PS90 ( a semi-automatic variant of the fully automatic FN P90 )

** FN FS2000 ( a semi-automatic variant of the fully automatic FN F2000 )

** has a fully back variant, qualitatively equivalent to cardinal 5, which Beaken ( 1971 ) claims characterizes " vigorous, informal " Cockney.

** A-50 Shmel ( from Beriev ), an AWACS variant of the Il-76, NATO codename " Mainstay ", 1978.

** Ollie Impossible, a variant of the trick first performed by Rodney Mullen

** In one major variant, that used by the American Society of Mechanical Engineers ( ASME ), citation numbers are included in the text in square brackets rather than as superscripts.

** The average crossing number is a variant of crossing number obtained from a three-dimensional embedding of a knot by averaging over all two-dimensional projections.

** the Italian Senate, with a particular single-vote variant: proportional representation was automatically calculated upon all losers in the FPTP races, and candidates with best percentages were elected

** Ibanez Edge is Ibanez's Floyd Rose variant.

** Acco Currently built for fleet applications was originally a civilianised variant of the military " Truck, 2½-Ton Australian No. 1 Mk4 " ( Australia / New Zealand only, medium / heavy weightCNG or DIESEL )

** BT-5PKh: snorkelling variant ( prototypes only ).

** PT-1A: amphibious variant with new hull ( few made ).

** BMP-2K ( K stands for komandnyj – command ) – Command variant fitted with two whip antennas mounted on the rear of the hull, one behind the turret and one on the right-hand side of the rear of the vehicle, one IFF antenna ( pin stick ) on the left-hand side of the rear of the vehicle and a support for a telescopic mast in the front of the IFF antenna.

** Other states have adopted the Uniform Statutory Rule Against Perpetuities ( or some variant of it ) which extends the waiting period typically to 90 years after creation of the interest.

** In some parts of the UK, a popular variant is the " lager top ", in which a small measure of clear lemonade or lime juice is added to the lager — usually about an inch.

** Sandrail, a variant of the dune buugy

** back-hdb: a variant of back-bdb that is fully hierarchical and supports subtree renames

** Entropy ( energy dispersal ), a variant perspective on thermodynamic entropy

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