** Yamaha Motor Company, a Japanese motorized vehicle-producing company

** Yamaha Pro Audio, a Japanese company specializing in products for the professional audio market

** Yamaha Finger Clamp is a variety of Floyd Rose that have built-in levers, and thus when tuning, no allen keys are needed.

** Yamaha CP-70 Electric Grand Piano

** Yamaha CP-70 Electric Grand Piano:

** Yamaha C7 grand piano

** General Instrument AY-3-8910 ( same as Yamaha YM2149 )

** Yamaha YM2149, used in the Atari ST, MSX, Intellivision, Amstrad CPC, and ZX Spectrum computers ( same as General Instrument AY-3-8910 )

** Yamaha Y3439-F, used in the Atari Falcon, Atari STBook

** Yamaha YM2413 ( a. k. a. OPLL ), used in MSX in MSX Music cartridges like the FM-PAC and internally in several Japanese models by Panasonic, Sony and Sanyo ; also used in Sega Mark III ( Japanese version of Master System )

** Yamaha YM2151 ( a. k. a. OPM ), used in Sharp X68000 and the Yamaha SFG-01 and SFG-05 FM Sound Synthesizer Unit cartridges for MSX

** Yamaha YM2203 ( a. k. a. OPN ), used in PC-88 and PC-98

** Yamaha YM2608 ( a. k. a. OPNA ), used in PC-88 and PC-98

** Yamaha YM2610 ( a. k. a. OPNB ), used in SNK Neo Geo

** Yamaha YM2612 ( a. k. a. OPN2 ), used in Sega Mega Drive / Genesis

** Yamaha YM3526 ( a. k. a. OPL )

** Yamaha YMF262 ( a. k. a. OPL3 ), used in Sound Blaster Pro 2. 0 and later cards

** Yamaha YMF278 ( a. k. a. OPL4 ), used in Moonsound cartridge for MSX

** Yamaha YMF288 ( a. k. a. OPN3 ), used in PC-98

** Yamaha YMF7xx ( Embedded audio chipset in some laptops and soundcards )

** Yamaha YMU786 ( a. k. a. MA-7 ), used in mobile phones to process various audio sources ; sound effect, 3D audio effect, sound mixer, ringtone generation, etc.

** PLG-100VL, PLG-150VL ( 1999 ) — plug-in cards for various Yamaha keyboards, tone modules, and the SWG-1000 high-end PC sound card.

** S-YXG100plus-PolyVL SoftSynth for then-powerful PCs ( e. g. 333 + MHz Pentium III ), capable of up to eight VL notes at once ( all other Yamaha VL implementations except the original VL1 and VL1m were limited to one, and the VL1 / 1m could do two ), in addition to up to 64 notes of XG wavetable from the MU50-emulating portion of the soft synth.

** The YM Series ( YM2203, YM2608, YM2610, YM3812, YM3526, Y8950, YMF262, YMF271, YMF278B, and YMZ280B )

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