** Terminal emulator, a program that substitutes for a computer console or computer terminal

** Heliport at the Hong Kong-Macau Ferry Terminal

** Hong Kong-Macau Ferry Terminal

** Hong Kong-China Ferry Terminal

** Ocean Terminal

** Basseterre to Sandy Point traveling west, starting at the Ferry Terminal

** Basseterre to Capesterre traveling west, starting at the Ferry Terminal

** Elizabeth II opens the new Air Terminal Building at the Edinburgh Airport.

** Terminal ( typeface ), a monospace font

** Santa Fe Terminal Complex, in Dallas, Texas, USA

** 327 rooms Fiesta Inn by Fiesta Americana ( Located across from Terminal 1 )

** Michigan Terminal System ( MTS ) ( time-sharing system for the IBM S / 360-67 and successors )

** Adelaide Parklands Terminal ( formerly Keswick Rail Terminal )

** Osaka Terminal Building ( South Gate Building )

** San-bangai Bus Terminal

** Terminal B ( also called " Nebel-Hall " after German spaceflight pioneer Rudolf Nebel ) is a converted former waiting area in a side wing of the main building ( check-in counters B20 – B39 ).

** The Terminal

** Etchūjima Branch Line: Etchūjima Freight Terminal

** Ben-Gurion International Airport Garden, a garden outside Terminal 3 of Ben Gurion International Airport

** Osaka Station JR Expressway Bus Terminal

** Hakozakicho ()-Location of Tokyo City Air Terminal ( T-CAT )

** Coeur d ' Alene Air Terminal

** The top-scoring American ace of World War II, U. S. Army Air Forces Major Richard I. Bong ( 40 victories ), is killed in the crash of a P-80 Shooting Star fighter at Lockheed Air Terminal in Burbank, California.

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