semiring of sets
Смотреть что такое "semiring of sets" в других словарях:
Semiring — In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse. The term rig is also used occasionally this originated as a joke, suggesting that rigs are… … Wikipedia
C-semiring — In abstract algebra, a c semiring (that is, a constraint based semiring) is a tuple such that: A is a set and 0, 1 are elements of A . + is the additive operation and is a commutative (i.e., +( a , b ) = +( b , a )) and associative (i.e., +( a… … Wikipedia
c-semiring — In abstract algebra, a c semiring (that is, a constraint based semiring) is a tuple <A,+,X,0,1> such that: A is a set and 0, 1 are elements of A. + is the additive operation and is a commutative (i.e., +(a,b) = +(b,a)) and associative (i.e … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… … Wikipedia
Combinatorial species — In combinatorial mathematics, the theory of combinatorial species is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and… … Wikipedia
Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… … Wikipedia
Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is … Wikipedia
External (mathematics) — The term external is useful for describing certain algebraic structures. The term comes from the concept of an external binary operation which is a binary operation that draws from some external set . To be more specific, a left external binary… … Wikipedia
Free object — In mathematics, the idea of a free object is one of the basic concepts of abstract algebra. It is a part of universal algebra, in the sense that it relates to all types of algebraic structure (with finitary operations). It also has a clean… … Wikipedia
