** Operation Atalanta, from 2008 ( Gulf of Aden ) – 202 soldiers

** Operation Active Endeavour, from 2001 ( Mediterranean and Strait of Gibraltar ) – 220 soldiers

** Operation Ocean Shield, from 2009 ( Gulf of Aden ) – 230 soldiers

** Operation Unified Protector, from 2011

** Axis & Allies: while playing as the Axis powers in campaign mode ( which has the Axis powers winning the war ), Operation Sea Lion is the mission following the failed invasion of Normandy.

** Britain Stands Alone: Operation Sealion, 1940, GMT Games ( 1994 ), boardgame

** Empire Earth: the last mission of the German campaign is to carry out Operation Sea Lion

** Their Finest Hour: The Battle of Britain and Operation Sea Lion, GDW ( 1982 ), boardgame: part of GDW's Europa system.

** Britain Invaded !, aka Operation Sealion, Tk Computerware ( 1985 )

** The Terminator 2029: Operation Scour, 1993 expansion pack for The Terminator 2029

** Vietnam War: Operation Pierce Arrow – Aircraft from carriers USS Ticonderoga and USS Constellation bomb North Vietnam in retaliation for strikes against U. S. destroyers in the Gulf of Tonkin.

** Korean War: For the second time, United Nations troops recapture Seoul during Operation Ripper.

** Operation Grapple: At Malden Island in the Pacific, Britain tests its first hydrogen bomb, which fails to detonate properly.

** Operation Magic Carpet to transport Jews from Yemen to Israel begins.

** WWII: The 27th Polish Home Army Infantry Division is re-created, marking the start of Operation Tempest by the Polish Home Army.

** Operation Bagration: A general attack by Soviet forces clears the German forces from Belarus, resulting in the destruction of German Army Group Centre, possibly the greatest defeat of the Wehrmacht during WWII.

** British forces launch Operation Goodwood, an armoured offensive aimed at driving the Germans from the high ground to the south of Caen.

** Operation Pluto: The world's first undersea oil pipeline is laid between England and France.

** Liberation of Paris: The Allies enter Paris, successfully completing Operation Overlord.

** Operation Market Garden ends in an Allied withdrawal.

** WWII – Operation Varsity: Two airborne divisions capture bridges across the Rhine River to aid the Allied advance.

** Operation Manna: British Lancaster bombers drop food into the Netherlands to prevent the starvation of the civilian population.

** Operation Torch: United States and United Kingdom forces land in French North Africa.

** WWII: Operation Chastise by RAF 617 Sqdn are carried out on German dams.

** Nuclear testing: In the first underwater test of the atomic bomb, the surplus USS Saratoga is sunk near Bikini Atoll in the Pacific Ocean, when the United States detonates the Baker device during Operation Crossroads.

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