** Haliotis brazieri f. hargravesi ( Cox, 1869 ) – synonym: Haliotis ethologus, the Mimic abalone, Haliotis hargravesi, the Hargraves ’ s abalone

** Haliotis cracherodii californiensis

** Haliotis cracherodii cracherodii

** Haliotis dalli dalli Henderson, 1915

** Haliotis dalli roberti McLean, 1970 – synonym: Haliotis roberti

** Haliotis discus discus Reeve, 1846

** Haliotis discus hannai Ino, 1953

** Haliotis diversicolor diversicolor Reeve, 1846

** Haliotis diversicolor squamata Reeve, 1846 – synonym: Haliotis squamata – the scaly Australian abalone

** Haliotis diversicolor supertexta – the Taiwan abalone or jiukong

** Haliotis fulgens fulgens Philippi, 1845

** Haliotis fulgens guadalupensis Talmadge, 1964

** Haliotis fulgens turveri Bartsch, 1942

** Haliotis kamtschatkana assimilis Dall, 1878 – synonym: Haliotis assimilis, the threaded abalone

** Haliotis kamtschatkana kamtschatkana Jonas, 1845

** Haliotis ovina volcanius Patamakanthin & Eng, 2007

** Haliotis pourtalesii aurantium Simone, 1998

** Haliotis pourtalesii pourtalesii Dall, 1881

** Haliotis tuberculata f. lamellosa Lamarck, 1822

** Haliotis varia f. dohrniana Dunker, 1863 – synonym: Haliotis dohrniana Dunker, 1863

** Haliotis varia f. planata G. B.

** for all f in X ′ there exists x in X with ǁxǁ ≤ 1, so that f ( x ) = ǁfǁ.

** L, 45 ; 421: 6 ; 253: f. 44 ' N5

** In circuit analysis and signal processing to represent natural frequency, related to frequency f by ω = 2πf

** H. vulgare f. distichon ( two-rowed barley )

** H. vulgare f. hexastichon ( six-rowed barley )

** Section 4 ( f ) of the Department of Transportation Act

** If ( f ( y ) < f ( x )) then move to the new position by setting x = y

** Tancred, Count of Syracuse ( f. 1104 )

** This follows by noting f < sub > ω </ sub >( n ) > 2 ↑< sup > n-1 </ sup > n > 3 ↑< sup > n-2 </ sup > 3 + 2, and hence f < sub > ω </ sub >( g < sub > k </ sub > + 2 ) > g < sub > k + 1 </ sub > + 2.

** A few English names are written with two lowercase " f " s: ffrench, ffoulkes, etc.

** even and odd functions, a function is odd if f ( x ) = – f (– x ) for all x

** the restriction of f to the interior of the closed ball is a homeomorphism onto the cell C, and

** ff represents ( voiceless labiodental fricative ), like English f, since Welsh f is pronounced like an English v.

** Transparency ( projection ), as in " foil " (< u > f < u > ilm < u > o </ u > ver < u > i </ u > ncandescent < u > l </ u > ight ) or " viewfoil "

** Friul pie, pia ( pious, f .) " press "

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