|
Nested Set
In a naive set theory, a nested set is a set containing a chain of subsets, forming a hierarchical structure, like Russian dolls. It is used as reference-concept in all scientific hierarchy definitions, and many technical approaches, like the tree in computational data structures or nested set model of relational databases. Sometimes the concept is confused with a "set of sets" with a hereditary property (like the finiteness in a hereditarily finite set). Formal definition Some authors prefer to use the term nested set collection, because it is a formal definition of a collective property of many sets. Others prefer to classify this relation as an inclusion order. A collection is a "set of sets". Let ''B'' be a non-empty set and ''C'' be a collection of subsets of ''B''. Then ''C'' is a nested set collection if: * B \in C (and \empty \notin C) * \forall H,K \in C ~:~ H \cap K \neq \empty \implies H \subset K ~\lor~ K \subset H The first condition states that set ''B'', whic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hereditarily Finite Set
In mathematics and set theory, hereditarily finite sets are defined as finite sets whose elements are all hereditarily finite sets. In other words, the set itself is finite, and all of its elements are finite sets, recursively all the way down to the empty set. Formal definition A recursive definition of well-founded hereditarily finite sets is as follows: : ''Base case'': The empty set is a hereditarily finite set. : ''Recursion rule'': If ''a''1,...,''a''''k'' are hereditarily finite, then so is . The set \ is an example for such a hereditarily finite set and so is the empty set \emptyset=\. On the other hand, the sets \ or \ are examples of finite sets that are not ''hereditarily'' finite. For example, the first cannot be hereditarily finite since it contains at least one infinite set as an element, when = \. Discussion A symbol for the class of hereditarily finite sets is H_, standing for the cardinality of each of its member being smaller than \aleph_0. Whether H_ is a set ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hereditarily Countable Set
In set theory, a set is called hereditarily countable if it is a countable set of hereditarily countable sets. This inductive definition is well-founded and can be expressed in the language of first-order set theory. A set is hereditarily countable if and only if it is countable, and every element of its transitive closure is countable. If the axiom of countable choice holds, then a set is hereditarily countable if and only if its transitive closure is countable. The class of all hereditarily countable sets can be proven to be a set from the axioms of Zermelo–Fraenkel set theory (ZF) without any form of the axiom of choice, and this set is designated H_. The hereditarily countable sets form a model of Kripke–Platek set theory with the axiom of infinity (KPI), if the axiom of countable choice is assumed in the metatheory. If x \in H_, then L_(x) \subset H_. More generally, a set is hereditarily of cardinality less than κ if it is of cardinality less than κ, and all its ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object-oriented Programming
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of procedures (often known as ''methods''). A common feature of objects is that procedures (or methods) are attached to them and can access and modify the object's data fields. In this brand of OOP, there is usually a special name such as or used to refer to the current object. In OOP, computer programs are designed by making them out of objects that interact with one another. OOP languages are diverse, but the most popular ones are class-based, meaning that objects are instances of classes, which also determine their types. Many of the most widely used programming languages (such as C++, Java, Python, etc.) are multi-paradigm and they support object-oriented programming to a greater or lesser degree, typically in combination with imper ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inheritance (computer Science)
In object-oriented programming, inheritance is the mechanism of basing an object or class upon another object ( prototype-based inheritance) or class ( class-based inheritance), retaining similar implementation. Also defined as deriving new classes ( sub classes) from existing ones such as super class or base class and then forming them into a hierarchy of classes. In most class-based object-oriented languages, an object created through inheritance, a "child object", acquires all the properties and behaviors of the "parent object" , with the exception of: constructors, destructor, overloaded operators and friend functions of the base class. Inheritance allows programmers to create classes that are built upon existing classes, to specify a new implementation while maintaining the same behaviors ( realizing an interface), to reuse code and to independently extend original software via public classes and interfaces. The relationships of objects or classes through inheritance give ris ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strict Subset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ''B''. The relationship of one set being a subset of another is called inclusion (or sometimes containment). ''A'' is a subset of ''B'' may also be expressed as ''B'' includes (or contains) ''A'' or ''A'' is included (or contained) in ''B''. A ''k''-subset is a subset with ''k'' elements. The subset relation defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra under the subset relation, in which the join and meet are given by intersection and union, and the subset relation itself is the Boolean inclusion relation. Definition If ''A'' and ''B'' are sets and every element of ''A'' is also an element of ''B'', then: :*''A'' is a subset of ''B'', denoted by A \subseteq B, or equivalently, :* ''B'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nested Hierarchy
A hierarchy (from Greek: , from , 'president of sacred rites') is an arrangement of items (objects, names, values, categories, etc.) that are represented as being "above", "below", or "at the same level as" one another. Hierarchy is an important concept in a wide variety of fields, such as architecture, philosophy, design, mathematics, computer science, organizational theory, systems theory, systematic biology, and the social sciences (especially political philosophy). A hierarchy can link entities either directly or indirectly, and either vertically or diagonally. The only direct links in a hierarchy, insofar as they are hierarchical, are to one's immediate superior or to one of one's subordinates, although a system that is largely hierarchical can also incorporate alternative hierarchies. Hierarchical links can extend "vertically" upwards or downwards via multiple links in the same direction, following a path. All parts of the hierarchy that are not linked vertically to one ano ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Biological Classification
In biology, taxonomy () is the scientific study of naming, defining ( circumscribing) and classifying groups of biological organisms based on shared characteristics. Organisms are grouped into taxa (singular: taxon) and these groups are given a taxonomic rank; groups of a given rank can be aggregated to form a more inclusive group of higher rank, thus creating a taxonomic hierarchy. The principal ranks in modern use are domain, kingdom, phylum (''division'' is sometimes used in botany in place of ''phylum''), class, order, family, genus, and species. The Swedish botanist Carl Linnaeus is regarded as the founder of the current system of taxonomy, as he developed a ranked system known as Linnaean taxonomy for categorizing organisms and binomial nomenclature for naming organisms. With advances in the theory, data and analytical technology of biological systematics, the Linnaean system has transformed into a system of modern biological classification intended to reflect the evolut ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stockholm
Stockholm () is the Capital city, capital and List of urban areas in Sweden by population, largest city of Sweden as well as the List of urban areas in the Nordic countries, largest urban area in Scandinavia. Approximately 980,000 people live in the Stockholm Municipality, municipality, with 1.6 million in the Stockholm urban area, urban area, and 2.4 million in the Metropolitan Stockholm, metropolitan area. The city stretches across fourteen islands where Mälaren, Lake Mälaren flows into the Baltic Sea. Outside the city to the east, and along the coast, is the island chain of the Stockholm archipelago. The area has been settled since the Stone Age, in the 6th millennium BC, and was founded as a city in 1252 by Swedish statesman Birger Jarl. It is also the county seat of Stockholm County. For several hundred years, Stockholm was the capital of Finland as well (), which then was a part of Sweden. The population of the municipality of Stockholm is expected to reach o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Systema Naturae
' (originally in Latin written ' with the ligature æ) is one of the major works of the Swedish botanist, zoologist and physician Carl Linnaeus (1707–1778) and introduced the Linnaean taxonomy. Although the system, now known as binomial nomenclature, was partially developed by the Bauhin brothers, Gaspard and Johann, Linnaeus was first to use it consistently throughout his book. The first edition was published in 1735. The full title of the 10th edition (1758), which was the most important one, was ' or translated: "System of nature through the three kingdoms of nature, according to classes, orders, genera and species, with characters, differences, synonyms, places". The tenth edition of this book (1758) is considered the starting point of zoological nomenclature. In 1766–1768 Linnaeus published the much enhanced 12th edition, the last under his authorship. Another again enhanced work in the same style and titled "'" was published by Johann Friedrich Gmelin between 1788 a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linnaean Taxonomy
Linnaean taxonomy can mean either of two related concepts: # The particular form of biological classification (taxonomy) set up by Carl Linnaeus, as set forth in his ''Systema Naturae'' (1735) and subsequent works. In the taxonomy of Linnaeus there are three kingdoms, divided into ''classes'', and they, in turn, into lower ranks in a hierarchical order. # A term for rank-based classification of organisms, in general. That is, taxonomy in the traditional sense of the word: rank-based scientific classification. This term is especially used as opposed to cladistic systematics, which groups organisms into clades. It is attributed to Linnaeus, although he neither invented the concept of ranked classification (it goes back to Plato and Aristotle) nor gave it its present form. In fact, it does not have an exact present form, as "Linnaean taxonomy" as such does not really exist: it is a collective (abstracting) term for what actually are several separate fields, which use similar approac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Systema Naturae")
