Set theorySet theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory.
Set (mathematics)A set is the mathematical model for a collection of different things; a set contains elements or members, which can be mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other sets. The set with no element is the empty set; a set with a single element is a singleton. A set may have a finite number of elements or be an infinite set. Two sets are equal if they have precisely the same elements. Sets are ubiquitous in modern mathematics.
Empty setIn mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other theories, its existence can be deduced. Many possible properties of sets are vacuously true for the empty set. Any set other than the empty set is called non-empty. In some textbooks and popularizations, the empty set is referred to as the "null set".
Spent nuclear fuelSpent nuclear fuel, occasionally called used nuclear fuel, is nuclear fuel that has been irradiated in a nuclear reactor (usually at a nuclear power plant). It is no longer useful in sustaining a nuclear reaction in an ordinary thermal reactor and, depending on its point along the nuclear fuel cycle, it will have different isotopic constituents than when it started. Nuclear fuel rods become progressively more radioactive (and less thermally useful) due to neutron activation as they are fissioned, or "burnt" in the reactor.
Spent fuel poolSpent fuel pools (SFP) are storage pools (or "ponds" in the United Kingdom) for spent fuel from nuclear reactors. They are typically 40 or more feet (12 m) deep, with the bottom 14 feet (4.3 m) equipped with storage racks designed to hold fuel assemblies removed from reactors. A reactor's local pool is specially designed for the reactor in which the fuel was used and is situated at the reactor site. Such pools are used for short-term cooling of the fuel rods.
Rough setIn computer science, a rough set, first described by Polish computer scientist Zdzisław I. Pawlak, is a formal approximation of a crisp set (i.e., conventional set) in terms of a pair of sets which give the lower and the upper approximation of the original set. In the standard version of rough set theory (Pawlak 1991), the lower- and upper-approximation sets are crisp sets, but in other variations, the approximating sets may be fuzzy sets. The following section contains an overview of the basic framework of rough set theory, as originally proposed by Zdzisław I.
Fuzzy setIn mathematics, fuzzy sets (a.k.a. uncertain sets) are sets whose elements have degrees of membership. Fuzzy sets were introduced independently by Lotfi A. Zadeh in 1965 as an extension of the classical notion of set. At the same time, defined a more general kind of structure called an L-relation, which he studied in an abstract algebraic context. Fuzzy relations, which are now used throughout fuzzy mathematics and have applications in areas such as linguistics , decision-making , and clustering , are special cases of L-relations when L is the unit interval [0, 1].
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Set-builder notationIn set theory and its applications to logic, mathematics, and computer science, set-builder notation is a mathematical notation for describing a set by enumerating its elements, or stating the properties that its members must satisfy. Defining sets by properties is also known as set comprehension, set abstraction or as defining a set's intension. Set (mathematics)#Roster notation A set can be described directly by enumerating all of its elements between curly brackets, as in the following two examples: is the set containing the four numbers 3, 7, 15, and 31, and nothing else.
Nuclear flaskA nuclear flask is a shipping container that is used to transport active nuclear materials between nuclear power station and spent fuel reprocessing facilities. Each shipping container is designed to maintain its integrity under normal transportation conditions and during hypothetical accident conditions. They must protect their contents against damage from the outside world, such as impact or fire. They must also contain their contents from leakage, both for physical leakage and for radiological shielding.
Nuclear reprocessingNuclear reprocessing is the chemical separation of fission products and actinides from spent nuclear fuel. Originally, reprocessing was used solely to extract plutonium for producing nuclear weapons. With commercialization of nuclear power, the reprocessed plutonium was recycled back into MOX nuclear fuel for thermal reactors. The reprocessed uranium, also known as the spent fuel material, can in principle also be re-used as fuel, but that is only economical when uranium supply is low and prices are high.
GenevaGeneva (dʒəˈniːvə ; Genève ʒənɛv) is the second-most populous city in Switzerland (after Zürich) and the most populous city of Romandy, the French-speaking part of Switzerland. Situated in the south west of the country, where the Rhône exits Lake Geneva, it is the capital of the Republic and Canton of Geneva, and a center for international diplomacy. The city of Geneva (ville de Genève) had a population of 203,951 in 2020 (Jan. estimate) within its small municipal territory of , but the Canton of Geneva (the city and its closest Swiss suburbs and exurbs) had a population of 504,128 (Jan.
Onkalo spent nuclear fuel repositoryThe Onkalo spent nuclear fuel repository is a deep geological repository for the final disposal of spent nuclear fuel. It is near the Olkiluoto Nuclear Power Plant in the municipality of Eurajoki, on the west coast of Finland. It will be the world's first long-term disposal facility for spent nuclear fuel. It is being constructed by Posiva, and is based on the KBS-3 method of nuclear waste burial developed in Sweden by Svensk Kärnbränslehantering AB (SKB). The facility is expected to be operational in the mid 2020s.
Canton of GenevaThe Canton of Geneva, officially the Republic and Canton of Geneva, is one of the 26 cantons forming the Swiss Confederation. It is composed of forty-five municipalities, and the seat of the government and parliament is in the City of Geneva. Geneva is the French-speaking westernmost canton of Switzerland. It lies at the western end of Lake Geneva and on both sides of the Rhone, its main river. Within the country, the canton shares borders with Vaud to the east, the only adjacent canton.
TimeTime is the continued sequence of existence and events that occurs in an apparently irreversible succession from the past, through the present, into the future. It is a component quantity of various measurements used to sequence events, to compare the duration of events or the intervals between them, and to quantify rates of change of quantities in material reality or in the conscious experience. Time is often referred to as a fourth dimension, along with three spatial dimensions.
Geneva ConventionsThe Geneva Conventions are four treaties, and three additional protocols, that establish international legal standards for humanitarian treatment in war. The singular term Geneva Convention usually denotes the agreements of 1949, negotiated in the aftermath of the Second World War (1939–1945), which updated the terms of the two 1929 treaties and added two new conventions. The Geneva Conventions extensively define the basic rights of wartime prisoners, civilians and military personnel, established protections for the wounded and sick, and provided protections for the civilians in and around a war-zone.
